projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
model: bugfix - correct RR coherence for Promises
[model-checker.git]
/
promise.h
diff --git
a/promise.h
b/promise.h
index 5b0e356bc6873238765577cab957977dc8c8a143..c131d743aa185d2972cd2d1922fb7ac43d6c3c8d 100644
(file)
--- a/
promise.h
+++ b/
promise.h
@@
-41,6
+41,9
@@
class Promise {
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