X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=common.h;h=d4823dbfa5895b13a5f960d3f4ff3c9f5d7c3216;hb=3801569c178bea693d4638de67cff18be78012ea;hp=0da662aa69e80fddc5f9c383c1656a43969e6d4d;hpb=a6f86729fc2e64ae7286d74094cb2f9d7745c17a;p=model-checker.git

diff --git a/common.h b/common.h
index 0da662a..d4823db 100644
--- a/common.h
+++ b/common.h
@@ -8,9 +8,11 @@
 #ifdef CONFIG_DEBUG
 #define DEBUG(fmt, ...) do { printf("*** %25s(): line %-4d *** " fmt, __func__, __LINE__, ##__VA_ARGS__); } while (0)
 #define DBG() DEBUG("\n");
+#define DBG_ENABLED() (1)
 #else
 #define DEBUG(fmt, ...)
 #define DBG()
+#define DBG_ENABLED() (0)
 #endif
 
 void * myMalloc(size_t size);