promise: associate Promises with a set of threads

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index c707ff8771b023d0f4b71b259e42dce77b7105e6..9aaab916849f466d66578d42108e55c1567ba41f 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -2475,7 +2475,7 @@ void ModelChecker::mo_check_promises(thread_id_t tid, const ModelAction *write,
                }
 
                // Don't do any lookups twice for the same thread
-               if (promise->thread_is_eliminated(tid))
+               if (!promise->thread_is_available(tid))
                        continue;
 
                if (promise->get_write() && mo_graph->checkReachable(promise->get_write(), write)) {