From: Brian Norris <banorris@uci.edu>
Date: Sat, 3 Nov 2012 22:54:39 +0000 (-0700)
Subject: unrelacy: use new MODEL_ASSERT() macro
X-Git-Tag: pldi2013~16
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=a65f26d04efe2ce5ff9ca57dcbc989d2c42baa1e

unrelacy: use new MODEL_ASSERT() macro
---

diff --git a/include/unrelacy.h b/include/unrelacy.h
index d65ffc3..2c6c48d 100644
--- a/include/unrelacy.h
+++ b/include/unrelacy.h
@@ -5,15 +5,12 @@
 #include <stdlib.h>
 #include <stdio.h>
 
+#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