From: Brian Demsky <bdemsky@uci.edu>
Date: Wed, 17 Apr 2013 22:51:47 +0000 (-0700)
Subject: Bug: ModelExecution had bogus model_params reference.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=63c96bfb56ee71259fcbb4d57a2350424944e28a;p=cdsspec-compiler.git

Bug: ModelExecution had bogus model_params reference.

Fix.
---

diff --git a/execution.cc b/execution.cc
index c8c4b89..47a6ebb 100644
--- a/execution.cc
+++ b/execution.cc
@@ -58,7 +58,7 @@ struct model_snapshot_members {
 
 /** @brief Constructor */
 ModelExecution::ModelExecution(ModelChecker *m,
-		struct model_params *params,
+		const struct model_params *params,
 		Scheduler *scheduler,
 		NodeStack *node_stack) :
 	model(m),
diff --git a/execution.h b/execution.h
index 8a2bcfa..1ba030b 100644
--- a/execution.h
+++ b/execution.h
@@ -61,7 +61,7 @@ struct release_seq {
 class ModelExecution {
 public:
 	ModelExecution(ModelChecker *m,
-			struct model_params *params,
+			const struct model_params *params,
 			Scheduler *scheduler,
 			NodeStack *node_stack);
 	~ModelExecution();
diff --git a/model.cc b/model.cc
index 0d79a39..e0c3089 100644
--- a/model.cc
+++ b/model.cc
@@ -24,7 +24,7 @@ ModelChecker::ModelChecker(struct model_params params) :
 	params(params),
 	scheduler(new Scheduler()),
 	node_stack(new NodeStack()),
-	execution(new ModelExecution(this, &params, scheduler, node_stack)),
+	execution(new ModelExecution(this, &this->params, scheduler, node_stack)),
 	execution_number(1),
 	diverge(NULL),
 	earliest_diverge(NULL),