threads: prepare system to loop over many executions

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 2a4082b1cdf0c79933b0cdb0aab409c5511e99d7..ccaeda21aaa29b9b4ab9919cc3947ebcef9a36fd 100644 (file)
--- a/model.h
+++ b/model.h
@@ -84,6 +84,8 @@ public:
        void assign_id(Thread *t);
 
        int switch_to_master(ModelAction *act);
+
+       bool next_execution();
 private:
        int used_thread_id;