Not sure why this change prevents a segfault in iris

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);
        /* 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);
        fuzzer->register_engine(m->get_history(), this);

+       scheduler->register_engine(this);

 }
 
 /** @brief Destructor */
 }
 
 /** @brief Destructor */