Ben Pfaff wrote: > 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)?
I like that. Though we should probably name it gl_invariant.
