projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
064db08
)
Fixes
author
weiyu
<weiyuluo1232@gmail.com>
Tue, 15 Oct 2019 23:26:09 +0000
(16:26 -0700)
committer
weiyu
<weiyuluo1232@gmail.com>
Tue, 15 Oct 2019 23:26:09 +0000
(16:26 -0700)
include/predicatetypes.h
patch
|
blob
|
history
diff --git
a/include/predicatetypes.h
b/include/predicatetypes.h
index bb3094c8f9c028b9e00768b3928daae3c86326f9..5b03829adc1e8a354e18c129fd5cf7412c621276 100644
(file)
--- a/
include/predicatetypes.h
+++ b/
include/predicatetypes.h
@@
-10,6
+10,11
@@
typedef enum predicate_token {
NOPREDICATE, EQUALITY, NULLITY
} token_t;
+typedef enum predicate_sleep_result {
+ SLEEP_FAIL_TYPE1, SLEEP_FAIL_TYPE2, SLEEP_FAIL_TYPE3,
+ SLEEP_SUCCESS
+} sleep_result_t;
+
/* If token is EQUALITY, then the predicate asserts whether
* this load should read the same value as the last value
* read at memory location specified in predicate_expr.