Merge branch 'branch-weiyu' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into...

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index e1c5e2ddbb06767e13c51d55b230f553d5f2c67d..6d435dec095c4185a6b0dbbf89923a70431f3e73 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -73,6 +73,9 @@ ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler) :
        add_thread(model_thread);
        fuzzer->register_engine(m->get_history(), this);
        scheduler->register_engine(this);
+#ifdef TLS
+       pthread_key_create(&pthreadkey, tlsdestructor);
+#endif
 }
 
 /** @brief Destructor */