[Bug 276985] crash in LinuxKPI/drm

In reply to: bugzilla-noreply_a_freebsd.org: "[Bug 276985] Crash in scheduler __curthread"
Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: <bugzilla-noreply_at_freebsd.org>
Date: Tue, 03 Sep 2024 11:01:39 UTC

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=276985

Bob Bishop <rb@gid.co.uk> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rb@gid.co.uk

--- Comment #32 from Bob Bishop <rb@gid.co.uk> ---
(In reply to feh from comment #31)

>> It is almost immpossible to prove the 'none-existance of bugs' - unless you
>> have formal methods applied.

"Beware of bugs in the above code; I have only proved it correct, not tried
it."
  -- Don Knuth

-- 
You are receiving this mail because:
You are the assignee for the bug.