From 7f076cdf802fbb01682dc954d0d4afb26ba031a7 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 15 Apr 2013 18:59:53 -0700 Subject: [PATCH 1/1] model: add get_execution() interface --- model.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/model.h b/model.h index 89ae2b8..3f9e6c2 100644 --- 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; -- 2.34.1