promise: rename check_promise() -> has_failed()

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index e46d36d76c3d3ede34cca70c32d562be3a327b0e..0964ae7ed2be03721cca662598200382151b2230 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -2388,10 +2388,11 @@ void ModelChecker::check_promises(thread_id_t tid, ClockVector *old_cv, ClockVec
        }
 }
 
-void ModelChecker::check_promises_thread_disabled() {
+void ModelChecker::check_promises_thread_disabled()
+{
        for (unsigned int i = 0; i < promises->size(); i++) {
                Promise *promise = (*promises)[i];
-               if (promise->check_promise()) {
+               if (promise->has_failed()) {
                        priv->failed_promise = true;
                        return;
                }