X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=common.h;h=9c1e1ed384e199fd5e8761d8a37a34ab6787ad61;hb=cb9bcfa58847b8261c41890d517918260d409bdd;hp=81b26728d917c0af8c1b26e9d0fa2d28cccb8a5a;hpb=c204d45f6621818bf1db92bf470baa531f0a3980;p=c11tester.git diff --git a/common.h b/common.h index 81b26728..9c1e1ed3 100644 --- a/common.h +++ b/common.h @@ -8,8 +8,12 @@ #include #include "config.h" +extern FILE *model_out; + +#define model_print(fmt, ...) do { fprintf(model_out, fmt, ##__VA_ARGS__); } while (0) + #ifdef CONFIG_DEBUG -#define DEBUG(fmt, ...) do { printf("*** %25s(): line %-4d *** " fmt, __func__, __LINE__, ##__VA_ARGS__); } while (0) +#define DEBUG(fmt, ...) do { model_print("*** %25s(): line %-4d *** " fmt, __func__, __LINE__, ##__VA_ARGS__); } while (0) #define DBG() DEBUG("\n") #define DBG_ENABLED() (1) #else