projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer
[c11tester.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index 4b159aa5d35f879da883571c0bbc203d68a1c6d5..c468d0deb3e8b6972673d3910670e99eff42052f 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-64,8
+64,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
@@
-263,7
+261,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;
}
@@
-359,7
+356,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;
}