A question about DbC

bearophile bearophileHUGS at lycos.com
Sat Oct 9 06:02:52 PDT 2010

Jonathan M Davis:

> What's odder is that the invariant is run after the 
> precondition. That shouldn't be necessary, since any changes to the object would 
> have been verifed after the last time that a public member function was called.

They may contain different tests.


More information about the Digitalmars-d-learn mailing list