https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=276985
Bob Bishop <r...@gid.co.uk> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |r...@gid.co.uk
--- Comment #32 from Bob Bishop <r...@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.
