model: bugfix - correct RR coherence for Promises
[c11tester.git] / promise.h
index 5b0e356..c131d74 100644 (file)
--- a/promise.h
+++ b/promise.h
@@ -41,6 +41,9 @@ class Promise {
 
        void print() const;
 
 
        void print() const;
 
+       bool equals(const Promise *x) const { return this == x; }
+       bool equals(const ModelAction *x) const { return false; }
+
        SNAPSHOTALLOC
  private:
        /** @brief Thread ID(s) for thread(s) that potentially can satisfy this
        SNAPSHOTALLOC
  private:
        /** @brief Thread ID(s) for thread(s) that potentially can satisfy this