More changes

[c11tester.git] / main.cc

diff --git a/main.cc b/main.cc
index 56ad58058d9b3b01c86d5d1af9b87d0faab28211..cc3fcbf081316cf3958cf1f59915e4b3ca8d9e9a 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -196,7 +196,7 @@ int main(int argc, char **argv)
        redirect_output();
 
        //Initialize snapshotting library
-       if (!model)
+       if (!model_init)
                snapshot_system_init(10000, 1024, 1024, 40000);
 
        struct model_params params;
@@ -210,8 +210,11 @@ int main(int argc, char **argv)
 
        snapshot_stack_init();
 
-       if (!model)
+       if (!model_init)
                model = new ModelChecker();
+       else
+               model = model_init;
+
        model->setParams(params);
        install_trace_analyses(model->get_execution());