--- Comment #1 from 2010-03-01 09:09:00 PST ---
In practice pre/post conditions and invariants can even become pure. This
limits some of their usages (logging, printing), but not much.

Generally reading and modifying a global variable inside a condition/invariant
doesn't look like tidy code.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to