promise: add 'same_value' helper, force value-checking in CycleGraph

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index d7ffc8e972d7466c7611b393d03afd5a96d5cce0..7048096ca25e0cbe0ad9928504802de4231c5a18 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -2505,7 +2505,7 @@ void ModelChecker::compute_promises(ModelAction *curr)
 {
        for (unsigned int i = 0; i < promises->size(); i++) {
                Promise *promise = (*promises)[i];
-               if (!promise->is_compatible(curr) || promise->get_value() != curr->get_value())
+               if (!promise->is_compatible(curr) || !promise->same_value(curr))
                        continue;
 
                bool satisfy = true;