projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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 "output.h"
#include "traceanalysis.h"
#include "execution.h"
-#include "history.h"
#include "bugmessage.h"
#include "params.h"
#include "plugins.h"
#include "bugmessage.h"
#include "params.h"
#include "plugins.h"
@@
-72,7
+71,6
@@
ModelChecker::ModelChecker() :
/* Initialize default scheduler */
params(),
scheduler(new Scheduler()),
/* Initialize default scheduler */
params(),
scheduler(new Scheduler()),
- history(new ModelHistory()),
execution(new ModelExecution(this, scheduler)),
execution_number(1),
curr_thread_num(MAIN_THREAD_ID),
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");
}
model_print("\n");
+#ifdef PRINT_TRACE
execution->print_summary();
execution->print_summary();
+#endif
}
/**
}
/**
@@
-313,7
+313,6
@@
void ModelChecker::finish_execution(bool more_executions)
clear_program_output();
execution_number ++;
clear_program_output();
execution_number ++;
- history->set_new_exec_flag();
if (more_executions)
reset_to_initial_state();
if (more_executions)
reset_to_initial_state();