remove unused code

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index f73377062c7a09b6e4108d56cb5421b7674785a2..3f811d7d7b11a3ef7c5e7846e58cbbc0a0a4293d 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -15,7 +15,6 @@
 #include "output.h"
 #include "traceanalysis.h"
 #include "execution.h"
-#include "history.h"
 #include "bugmessage.h"
 #include "params.h"
 #include "plugins.h"
@@ -72,7 +71,6 @@ ModelChecker::ModelChecker() :
        /* Initialize default scheduler */
        params(),
        scheduler(new Scheduler()),
-       history(new ModelHistory()),
        execution(new ModelExecution(this, scheduler)),
        execution_number(1),
        curr_thread_num(MAIN_THREAD_ID),
@@ -280,7 +278,9 @@ void ModelChecker::print_execution(bool printbugs) const
        }
 
        model_print("\n");
+#ifdef PRINT_TRACE
        execution->print_summary();
+#endif
 }
 
 /**
@@ -313,7 +313,6 @@ void ModelChecker::finish_execution(bool more_executions)
                clear_program_output();
 
        execution_number ++;
-       history->set_new_exec_flag();
 
        if (more_executions)
                reset_to_initial_state();