clockvector: add print() method

[model-checker.git] / common.h

diff --git a/common.h b/common.h
index d4823dbfa5895b13a5f960d3f4ff3c9f5d7c3216..cd6b16a286cf4684f711a824b303a465a99c590c 100644 (file)
--- a/common.h
+++ b/common.h
@@ -15,10 +15,12 @@
 #define DBG_ENABLED() (0)
 #endif
 
-void * myMalloc(size_t size);
-void myFree(void *ptr);
-
-#define userMalloc(size)       malloc(size)
-#define userFree(ptr)          free(ptr)
+#define ASSERT(expr) \
+do { \
+       if (!(expr)) { \
+               fprintf(stderr, "Error: assertion failed in %s at line %d\n", __FILE__, __LINE__); \
+               exit(1); \
+       } \
+} while (0);
 
 #endif /* __COMMON_H__ */