Searched defs:FatalAssert (Results 1 – 2 of 2) sorted by relevance
/dports/math/cvc3/cvc3-2.4.1/src/include/ | ||
H A D | debug.h | 37 #define FatalAssert(cond, msg) if(!(cond)) \ macro |
/dports/math/cvc3/cvc3-2.4.1/testc/ | ||
H A D | main.c | 19 #define FatalAssert(b,msg) \ macro |