X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=include%2Funrelacy.h;h=c16a373b7945bf1caf142956f5545848d28ce2d6;hp=d65ffc3d1b2f7168313aac05563cf19be8a5aae1;hb=6254750fb7b01a21dad05459d3d9f9519ef2f1ee;hpb=204232f143970fcc7001063af8096da4aec0f3d1

diff --git a/include/unrelacy.h b/include/unrelacy.h
index d65ffc3..c16a373 100644
--- a/include/unrelacy.h
+++ b/include/unrelacy.h
@@ -4,16 +4,15 @@
 #include <stdatomic.h>
 #include <stdlib.h>
 #include <stdio.h>
+#include <mutex>
+#include <condition_variable>
+
+#include <model-assert.h>
 
 #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