threads_internal: pass the current 'action' to the internal thread system

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index d3229b296526db6ee54c07d0055e22a336011b5a..205b8d0bd236989a6131efa45cdefba0f7cc1096 100644 (file)
--- a/model.h
+++ b/model.h
@@ -37,8 +37,11 @@ public:
        void add_system_thread(struct thread *t);
        void assign_id(struct thread *t);
 
+       void set_current_action(ModelAction *act) { current_action = act; }
+
 private:
        int used_thread_id;
+       class ModelAction *current_action;
 };
 
 extern ModelChecker *model;