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. Bye, bearophile
