Paul Eggert <egg...@cs.ucla.edu> writes: > If we want to do this sort of thing, I suggest using a different > name for the static analysis macro, a name that more > obviously differs from "assert (X)". How about "assume (X)"?
invariant (X)? -- Ben Pfaff http://benpfaff.org
