changes

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 84a60a510456fbea7cd6f0e4e6df87499c40ee48..61d0b64c8ba4042e31a8945b9ecce5f8a20f1136 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -54,8 +54,6 @@ void ModelChecker::setParams(struct model_params params) {
  */
 void ModelChecker::reset_to_initial_state()
 {
  */
 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
 
        /**
         * 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();
 // test code
        execution_number++;
        reset_to_initial_state();

-       node_stack->full_reset();

        return false;
 }
 
        return false;
 }
 


@@ -354,7 +351,6 @@ void ModelChecker::do_restart()
 {
        restart_flag = false;
        reset_to_initial_state();
 {
        restart_flag = false;
        reset_to_initial_state();

-       node_stack->full_reset();

        memset(&stats,0,sizeof(struct execution_stats));
        execution_number = 1;
 }
        memset(&stats,0,sizeof(struct execution_stats));
        execution_number = 1;
 }