projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model: distinguish between 'read' and 'acquire' in release sequences
[c11tester.git]
/
common.h
diff --git
a/common.h
b/common.h
index 81b26728d917c0af8c1b26e9d0fa2d28cccb8a5a..9c1e1ed384e199fd5e8761d8a37a34ab6787ad61 100644
(file)
--- a/
common.h
+++ b/
common.h
@@
-8,8
+8,12
@@
#include <stdio.h>
#include "config.h"
#include <stdio.h>
#include "config.h"
+extern FILE *model_out;
+
+#define model_print(fmt, ...) do { fprintf(model_out, fmt, ##__VA_ARGS__); } while (0)
+
#ifdef CONFIG_DEBUG
#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
#define DBG() DEBUG("\n")
#define DBG_ENABLED() (1)
#else