X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=089d88d11ca32c6a5cdaef4e41a4ed886285bf89;hb=7bfea91f33595532cf618fe3d090e8021f578795;hp=48fa28acb71cf1b8d49112df717d2ac460dc2e9b;hpb=f9fe0087091f88deeb814d0768eecdfb1b51a94d;p=model-checker.git

diff --git a/model.cc b/model.cc
index 48fa28a..089d88d 100644
--- a/model.cc
+++ b/model.cc
@@ -26,7 +26,8 @@ ModelChecker::ModelChecker(struct model_params params) :
 	params(params),
 	scheduler(new Scheduler()),
 	node_stack(new NodeStack()),
-	execution(new ModelExecution(&params, scheduler, node_stack)),
+	execution(new ModelExecution(this, &params, scheduler, node_stack)),
+	execution_number(1),
 	diverge(NULL),
 	earliest_diverge(NULL),
 	trace_analyses()
@@ -319,7 +320,8 @@ bool ModelChecker::next_execution()
 		diverge->print();
 	}
 
-	execution->increment_execution_number();
+	execution_number++;
+
 	reset_to_initial_state();
 	return true;
 }