Bug fix for broken treatment of promises + coherence based pruning to regain pruning...

[c11tester.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 7e5e95602408b47f5d4ff5b746e64db88287366f..def51f9671e346251a4f108abe1c78c8d09a8bfe 100644 (file)
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -456,9 +456,8 @@ bool CycleGraph::checkPromise(const ModelAction *fromact, Promise *promise) cons
 
                if (node->getPromise() == promise)
                        return true;
-               if (!node->is_promise() &&
-                               promise->eliminate_thread(node->getAction()->get_tid()))
-                       return true;
+               if (!node->is_promise())
+                       promise->eliminate_thread(node->getAction()->get_tid());
 
                for (unsigned int i = 0; i < node->getNumEdges(); i++) {
                        CycleNode *next = node->getEdge(i);