Design by Contract != Runtime Assertion

bearophile bearophileHUGS at lycos.com
Mon Nov 22 12:19:49 PST 2010


> Maybe for a good enough static analyser it's the same thing for more complex cases too, that contains nested loops, etc.

But I dont' believe it.

Bye,
bearophile


More information about the Digitalmars-d mailing list