Searched defs:CHECK_IMPLIES (Results 1 – 5 of 5) sorted by relevance
130 #define CHECK_IMPLIES(a, b) CHECK(!(a) || (b)) macro
314 #define CHECK_IMPLIES(lhs, rhs) \ macro
347 #define CHECK_IMPLIES(lhs, rhs) \ macro
353 #define CHECK_IMPLIES(lhs, rhs) \ macro
384 #define CHECK_IMPLIES(lhs, rhs) \ macro