Searched defs:ALWAYS_INVARIANT (Results 1 – 1 of 1) sorted by relevance
37 #define ALWAYS_INVARIANT(x) calysto_assume(x) macro68 #define ALWAYS_INVARIANT(x) assert(x) macro77 #define ALWAYS_INVARIANT(x) ISC_INVARIANT(x) macro