X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.cc;h=61d0b64c8ba4042e31a8945b9ecce5f8a20f1136;hp=84a60a510456fbea7cd6f0e4e6df87499c40ee48;hb=02e8c0e82227e667163f370f663935272599a4ba;hpb=b5023b7d3f469a1ccece72d2c2ee4b8c0496e96f

diff --git a/model.cc b/model.cc
index 84a60a51..61d0b64c 100644
--- a/model.cc
+++ b/model.cc
@@ -54,8 +54,6 @@ void ModelChecker::setParams(struct model_params params) {
  */
 void ModelChecker::reset_to_initial_state()
 {
-	DEBUG("+++ Resetting to initial state +++\n");
-	node_stack->reset_execution();
 
 	/**
 	 * FIXME: if we utilize partial rollback, we will need to free only
@@ -253,7 +251,6 @@ bool ModelChecker::next_execution()
 // test code
 	execution_number++;
 	reset_to_initial_state();
-	node_stack->full_reset();
 	return false;
 }
 
@@ -354,7 +351,6 @@ void ModelChecker::do_restart()
 {
 	restart_flag = false;
 	reset_to_initial_state();
-	node_stack->full_reset();
 	memset(&stats,0,sizeof(struct execution_stats));
 	execution_number = 1;
 }