fix mutex_trylock bug

[c11tester.git] / include / predicatetypes.h

diff --git a/include/predicatetypes.h b/include/predicatetypes.h
index bb3094c8f9c028b9e00768b3928daae3c86326f9..737a09960c9bfb8066e7713adaacd573afc18d6a 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.
@@ -55,5 +60,5 @@ struct concrete_pred_expr {
        SNAPSHOTALLOC
 };
 
-#endif  /* __PREDICATE_TYPES_H__ */
+#endif /* __PREDICATE_TYPES_H__ */