schedule: reset scheduler when thread is removed

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index f50b0f9a60777557429c33ab7fc4b3236ef1cb6f..4f87da3efdd6b630973901a0f40e09b6420f55af 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -205,6 +205,11 @@ int ModelChecker::add_thread(Thread *t)
        return 0;
 }
 
+void ModelChecker::remove_thread(Thread *t)
+{
+       scheduler->remove_thread(t);
+}
+
 int ModelChecker::switch_to_master(ModelAction *act)
 {
        Thread *old, *next;