Lines Matching refs:assertions
3580 " this code. The assertions in the check routines spell out in more\n" +4464 " debugging and assertions, for example:\n" +5800 " These routines make a number of assertions about the states\n" +