Searched defs:ALWAYS_INVARIANT (Results 1 – 1 of 1) sorted by relevance
39 #define ALWAYS_INVARIANT(x) calysto_assume(x) macro70 #define ALWAYS_INVARIANT(x) assert(x) macro79 #define ALWAYS_INVARIANT(x) ISC_INVARIANT(x) macro