Redirect output after taking snapshots

diff --git a/model.cc b/model.cc
index 5b5ccf701c1798f9627c352f6ae50be4159fc929..f8f1259d58d374f776c03e62d7ac35be08009842 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -85,7 +85,6 @@ ModelChecker::ModelChecker() :
        parse_options(&params);
        initRaceDetector();
        /* Configure output redirection for the model-checker */
        parse_options(&params);
        initRaceDetector();
        /* Configure output redirection for the model-checker */

-       redirect_output();

        install_trace_analyses(get_execution());
        install_handler();
 }
        install_trace_analyses(get_execution());
        install_handler();
 }


@@ -294,6 +293,7 @@ void ModelChecker::finish_execution(bool more_executions)
        execution_number ++;
        if (more_executions)
                reset_to_initial_state();
        execution_number ++;
        if (more_executions)
                reset_to_initial_state();

+

        history->set_new_exec_flag();
 }
 
        history->set_new_exec_flag();
 }
 


@@ -384,6 +384,8 @@ static void runChecker() {
 void ModelChecker::startChecker() {
        startExecution(get_system_context(), runChecker);
        snapshot = take_snapshot();
 void ModelChecker::startChecker() {
        startExecution(get_system_context(), runChecker);
        snapshot = take_snapshot();

+
+       redirect_output();

        initMainThread();
 }
 
        initMainThread();
 }