On Sat, Oct 04, 2014 at 02:40:28AM -0700, Walter Bright via Digitalmars-d wrote: > On 10/4/2014 1:40 AM, "Ola Fosheim Grøstad" > <ola.fosheim.grostad+dl...@gmail.com>" wrote: [...] > >Anyway, failure should not be due to "asserts", that should be > >covered by program verification and formal proofs. > > The assumption that "proof" means the code doesn't have bugs is > charming, but still false. [...]
"Beware -- I've only proven that the code is correct, not tested it." -- Donald Knuth. :-) T -- It is not the employer who pays the wages. Employers only handle the money. It is the customer who pays the wages. -- Henry Ford
