Date: Tue, 03 Sep 2024 11:01:39 +0000 From: bugzilla-noreply@freebsd.org To: bugs@FreeBSD.org Subject: [Bug 276985] crash in LinuxKPI/drm Message-ID: <bug-276985-227-oKnmkmgBT1@https.bugs.freebsd.org/bugzilla/> In-Reply-To: <bug-276985-227@https.bugs.freebsd.org/bugzilla/> References: <bug-276985-227@https.bugs.freebsd.org/bugzilla/>
next in thread | previous in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D276985 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 --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-276985-227-oKnmkmgBT1>