parse_options(¶ms);
initRaceDetector();
/* Configure output redirection for the model-checker */
- redirect_output();
install_trace_analyses(get_execution());
install_handler();
}
execution_number ++;
if (more_executions)
reset_to_initial_state();
+
history->set_new_exec_flag();
}
void ModelChecker::startChecker() {
startExecution(get_system_context(), runChecker);
snapshot = take_snapshot();
+
+ redirect_output();
initMainThread();
}