Make our pthread id starts from 2. Reserve id 1 for main thread

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index f8f1259d58d374f776c03e62d7ac35be08009842..f1df6ae8bfbbdacd806f56976de6b1c2f2bc8099 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 */
-       install_trace_analyses(get_execution());
        install_handler();
 }
 
@@ -385,6 +384,7 @@ void ModelChecker::startChecker() {
        startExecution(get_system_context(), runChecker);
        snapshot = take_snapshot();
 
+       install_trace_analyses(get_execution());
        redirect_output();
        initMainThread();
 }