X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=f8f1259d58d374f776c03e62d7ac35be08009842;hb=e5014287e6e7c3ba1c0671edb379867d111b2931;hp=5b5ccf701c1798f9627c352f6ae50be4159fc929;hpb=f8b9a9f560b0ea8e126ab1132dac5af4e5cdc8fa;p=c11tester.git

diff --git a/model.cc b/model.cc
index 5b5ccf70..f8f1259d 100644
--- a/model.cc
+++ b/model.cc
@@ -85,7 +85,6 @@ ModelChecker::ModelChecker() :
 	parse_options(&params);
 	initRaceDetector();
 	/* Configure output redirection for the model-checker */
-	redirect_output();
 	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();
+
 	history->set_new_exec_flag();
 }
 
@@ -384,6 +384,8 @@ static void runChecker() {
 void ModelChecker::startChecker() {
 	startExecution(get_system_context(), runChecker);
 	snapshot = take_snapshot();
+
+	redirect_output();
 	initMainThread();
 }