projects
/
model-checker-benchmarks.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
74decfe
)
unrelacy: use new MODEL_ASSERT() macro
author
Brian Norris
<banorris@uci.edu>
Sat, 3 Nov 2012 22:54:39 +0000
(15:54 -0700)
committer
Brian Norris
<banorris@uci.edu>
Sat, 3 Nov 2012 22:55:35 +0000
(15:55 -0700)
include/unrelacy.h
patch
|
blob
|
history
diff --git
a/include/unrelacy.h
b/include/unrelacy.h
index d65ffc3d1b2f7168313aac05563cf19be8a5aae1..2c6c48de4fd0fa0872b632cd18598ad2cccb3671 100644
(file)
--- a/
include/unrelacy.h
+++ b/
include/unrelacy.h
@@
-5,15
+5,12
@@
#include <stdlib.h>
#include <stdio.h>
#include <stdlib.h>
#include <stdio.h>
+#include <model-assert.h>
+
#define $
#define $
-#define _TEST_ASSERT(expr) \
- if (!(expr)) { \
- printf("Error: assertion failed at %s:%d\n", __FILE__, __LINE__); \
- exit(EXIT_FAILURE); \
- }
-#define ASSERT(expr) _TEST_ASSERT(expr)
-#define RL_ASSERT(expr) _TEST_ASSERT(expr)
+#define ASSERT(expr) MODEL_ASSERT(expr)
+#define RL_ASSERT(expr) MODEL_ASSERT(expr)
#define RL_NEW new
#define RL_DELETE(expr) delete expr
#define RL_NEW new
#define RL_DELETE(expr) delete expr