model/promise: use ModelChecker is_enabled() interface

[c11tester.git] / promise.h

diff --git a/promise.h b/promise.h
index 2ce3e297305125baa0a057da571cf266965b916e..ea40df0112b183b515258877af1ce20cb606b30d 100644 (file)
--- a/promise.h
+++ b/promise.h
@@ -8,7 +8,7 @@
 #define __PROMISE_H__
 
 #include <inttypes.h>
-#include "threads.h"
+#include "threads-model.h"
 
 #include "model.h"
 
@@ -31,6 +31,7 @@ class Promise {
                return synced_thread[id];
        }
 
+       bool check_promise();
        uint64_t get_value() const { return value; }
        void set_write(const ModelAction *act) { write = act; }
        const ModelAction * get_write() { return write; }