X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=common.h;h=81b26728d917c0af8c1b26e9d0fa2d28cccb8a5a;hb=f6d2ca10d64791d283db4786e7333770c003eb56;hp=50410ea7e0a1bce920a2bb3ce3b968d602f929de;hpb=b85b57912810d5a9db0b214d957a843eb29b5e9d;p=model-checker.git

diff --git a/common.h b/common.h
index 50410ea..81b2672 100644
--- a/common.h
+++ b/common.h
@@ -20,6 +20,7 @@
 
 void assert_hook(void);
 
+#ifdef CONFIG_ASSERT
 #define ASSERT(expr) \
 do { \
 	if (!(expr)) { \
@@ -30,6 +31,10 @@ do { \
 		exit(EXIT_FAILURE); \
 	} \
 } while (0)
+#else
+#define ASSERT(expr) \
+	do { } while (0)
+#endif /* CONFIG_ASSERT */
 
 #define error_msg(...) fprintf(stderr, "Error: " __VA_ARGS__)