Bug: ModelExecution had bogus model_params reference.
authorBrian Demsky <bdemsky@uci.edu>
Wed, 17 Apr 2013 22:51:47 +0000 (15:51 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Wed, 17 Apr 2013 22:51:47 +0000 (15:51 -0700)
Fix.

execution.cc
execution.h
model.cc

index c8c4b89..47a6ebb 100644 (file)
@@ -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),
index 8a2bcfa..1ba030b 100644 (file)
@@ -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();
index 0d79a39..e0c3089 100644 (file)
--- 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),