Re: Design by Contract != Runtime Assertion

[bearophile]

> 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