Program logic bugs vs input/environmental errors

[Ola Fosheim Grostad via Digitalmars-d]

On Saturday, 4 October 2014 at 19:49:23 UTC, Walter Bright wrote:
> On 10/4/2014 7:13 AM, H. S. Teoh via Digitalmars-d wrote:
>> "Beware -- I've only proven that the code is correct, not 
>> tested it." --
>> Donald Knuth.
>>
>> :-)
>
> Quotes like that prove (!) what a cool guy Knuth is!

Nah, it only proves that he had not tested the code in his memo 
(and probably not run the proof through a verifier either).