Not sure why this change prevents a segfault in iris
authorweiyu <weiyuluo1232@gmail.com>
Tue, 12 Nov 2019 07:37:54 +0000 (23:37 -0800)
committerweiyu <weiyuluo1232@gmail.com>
Tue, 12 Nov 2019 07:37:54 +0000 (23:37 -0800)
execution.cc

index e7ca575..5449c48 100644 (file)
@@ -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 */