Switch to environmental variables

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 88b3302acd5804a2a0756e818e5e9fc98092e0de..b5e55867e1e6485659677cfce6a8f51432509d73 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -48,6 +48,7 @@ ModelChecker::ModelChecker() :
        scheduler->set_current_thread(init_thread);
        execution->setParams(&params);
        param_defaults(&params);
+       parse_options(&params);
        initRaceDetector();
 }