Fixes

[c11tester.git] / include / predicatetypes.h

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.