Not sure why this change prevents a segfault in iris

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index e7ca575d8165f01ac30393027de18e5b9b01e1e2..5449c4802170680346b714c30df0d52b8cf3ffaf 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -73,8 +73,8 @@ ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler) :
        /* Initialize a model-checker thread, for special ModelActions */
        model_thread = new Thread(get_next_id());
        add_thread(model_thread);
-       scheduler->register_engine(this);
        fuzzer->register_engine(m->get_history(), this);
+       scheduler->register_engine(this);
 }
 
 /** @brief Destructor */