Merge branch 'master' into pldi13
[c11tester.git] / include / model-assert.h
1 #ifndef __MODEL_ASSERT_H__
2 #define __MODEL_ASSERT_H__
3
4 #if __cplusplus
5 extern "C" {
6 #endif
7
8 void model_assert(bool expr, const char *file, int line);
9 #define MODEL_ASSERT(expr) model_assert((expr), __FILE__, __LINE__)
10
11 #if __cplusplus
12 }
13 #endif
14
15 #endif /* __MODEL_ASSERT_H__ */