A question about DbC

bearophile bearophileHUGS at lycos.com
Sat Oct 9 08:39:30 PDT 2010

J. Berger:

> This is more or less what Jonathan said in his last post.

You are right, if the state isn't changed between two method calls, there's no point in calling the invariant two times after the method call and before the next method call.


More information about the Digitalmars-d-learn mailing list