projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model: add get_last_seq_cst_fence
[c11tester.git]
/
common.h
diff --git
a/common.h
b/common.h
index 50410ea7e0a1bce920a2bb3ce3b968d602f929de..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
@@
-20,6
+24,7
@@
void assert_hook(void);
void assert_hook(void);
+#ifdef CONFIG_ASSERT
#define ASSERT(expr) \
do { \
if (!(expr)) { \
#define ASSERT(expr) \
do { \
if (!(expr)) { \
@@
-30,6
+35,10
@@
do { \
exit(EXIT_FAILURE); \
} \
} while (0)
exit(EXIT_FAILURE); \
} \
} while (0)
+#else
+#define ASSERT(expr) \
+ do { } while (0)
+#endif /* CONFIG_ASSERT */
#define error_msg(...) fprintf(stderr, "Error: " __VA_ARGS__)
#define error_msg(...) fprintf(stderr, "Error: " __VA_ARGS__)