X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.h;h=8a2bcfa9402a8b2d9c0153aa743c5fc5554613cf;hb=9f343c92ce3e9ab184d3b45198aa8e547d5791c4;hp=67e3fa4b8957a50a90211493772d7583678d0bb7;hpb=e7e175a74d95b5ed0a50750453168275f2fa3589;p=model-checker.git

diff --git a/execution.h b/execution.h
index 67e3fa4..8a2bcfa 100644
--- a/execution.h
+++ b/execution.h
@@ -66,6 +66,8 @@ public:
 			NodeStack *node_stack);
 	~ModelExecution();
 
+	const struct model_params * get_params() const { return params; }
+
 	Thread * take_step(ModelAction *curr);
 	void fixup_release_sequences();