lang/verify.h

   1 // safe assertions.
   2
   3 #ifndef verify_client_h
   4 #define verify_client_h
   5
   6 #include <stdlib.h>
   7 #include <assert.h>
   8
   9 #ifdef NDEBUG
  10 #define VERIFY(expr) do { if (!(expr)) abort(); } while (0)
  11 #else
  12 #define VERIFY(expr) assert(expr)
  13 #endif
  14
  15 #endif