Change initialize a bit
[c11tester.git] / include / wildcard.h
index 2a18c4c3ef818b6188484079eb4247ab408695e1..0eaffd5eafc66753546035d59c628df44db40d6f 100644 (file)
@@ -1,6 +1,6 @@
 #ifndef _WILDCARD_H
 #define _WILDCARD_H
-#include "memoryorder.h"
+// #include "memoryorder.h"
 
 #define MAX_WILDCARD_NUM 50
 
 #define is_normal_mo_infer(x) ((x >= memory_order_relaxed && x <= memory_order_seq_cst) || x == WILDCARD_NONEXIST || x == memory_order_normal)
 #define is_normal_mo(x) ((x >= memory_order_relaxed && x <= memory_order_seq_cst) || x == memory_order_normal)
 
-#define assert_infer(x) for (int i = 0; i <= wildcardNum; i++)\
-       ASSERT(is_normal_mo_infer((x[i])));
+#define assert_infer(x) for (int i = 0;i <= wildcardNum;i++) \
+               ASSERT(is_normal_mo_infer((x[i])));
 
-#define assert_infers(x) for (ModelList<memory_order *>::iterator iter =\
-       (x)->begin(); iter != (x)->end(); iter++)\
-       assert_infer((*iter));
+#define assert_infers(x) for (ModelList<memory_order *>::iterator iter = \
+                                                                                                                               (x)->begin();iter != (x)->end();iter++) \
+               assert_infer((*iter));
 
 #define relaxed memory_order_relaxed
 #define release memory_order_release