Where are they?
Invariants are few and far between in most code
- In Gnu Emacs, 33 out of 114KLOC lines match a grep on "assert" (some of them are actually asserts)
- This isn’t fully fair, since comments may also represent asserts (and perhaps other program statements, too)
Invariants, like comments, are probably omitted in part because of the opportunity cost