From: weiyu <weiyuluo1232@gmail.com>
Date: Tue, 15 Oct 2019 23:26:09 +0000 (-0700)
Subject: Fixes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=08019b9073a49b656c51436ae6f11e011f0531a0;p=c11tester.git

Fixes
---

diff --git a/include/predicatetypes.h b/include/predicatetypes.h
index bb3094c8..5b03829a 100644
--- 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.