cdschecker_modified_benchmarks/include/model-assert.h

   1 #ifndef __MODEL_ASSERT_H__
   2 #define __MODEL_ASSERT_H__
   3
   4 #if __cplusplus
   5 extern "C" {
   6 #else
   7 #include <stdbool.h>
   8 #endif
   9
  10 #include <cassert>
  11
  12 static void model_assert(bool expr, const char *file, int line) {
  13   assert(expr && file && line);
  14 }
  15 #define MODEL_ASSERT(expr) model_assert((expr), __FILE__, __LINE__)
  16
  17 #if __cplusplus
  18 }
  19 #endif
  20
  21 #endif /* __MODEL_ASSERT_H__ */