nodestack: register ModelExecution class w/in NodeStack
[model-checker.git] / 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 void model_assert(bool expr, const char *file, int line);
11 #define MODEL_ASSERT(expr) model_assert((expr), __FILE__, __LINE__)
12
13 #if __cplusplus
14 }
15 #endif
16
17 #endif /* __MODEL_ASSERT_H__ */