From: Brian Norris <banorris@uci.edu>
Date: Fri, 27 Apr 2012 06:42:12 +0000 (-0700)
Subject: common: add simple DBG_ENABLED() macros
X-Git-Tag: pldi2013~487
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3801569c178bea693d4638de67cff18be78012ea;p=model-checker.git

common: add simple DBG_ENABLED() macros
---

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);