model: add get_execution() interface

diff --git a/model.h b/model.h
index 89ae2b80f746c8dab734aa933b0900bb0564a030..3f9e6c2ea8867338dedea119acc698cd8458dcd3 100644 (file)
--- a/model.h
+++ b/model.h
@@ -50,6 +50,8 @@ public:
        /** @returns the context for the main model-checking system thread */
        ucontext_t * get_system_context() { return &system_context; }
 
+       const ModelExecution * get_execution() const { return execution; }
+
        Thread * get_thread(thread_id_t tid) const;
        Thread * get_thread(const ModelAction *act) const;
        int get_promise_number(const Promise *promise) const;