From 08019b9073a49b656c51436ae6f11e011f0531a0 Mon Sep 17 00:00:00 2001 From: weiyu Date: Tue, 15 Oct 2019 16:26:09 -0700 Subject: [PATCH] Fixes --- include/predicatetypes.h | 5 +++++ 1 file changed, 5 insertions(+) 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. -- 2.34.1