From: Brian Norris <banorris@uci.edu>
Date: Tue, 16 Apr 2013 01:59:53 +0000 (-0700)
Subject: model: add get_execution() interface
X-Git-Tag: oopsla2013~67^2~7
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=7f076cdf802fbb01682dc954d0d4afb26ba031a7

model: add get_execution() interface
---

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;