From 06bee25f85e35dec1db4247dadde23037b8ec67b Mon Sep 17 00:00:00 2001 From: weiyu Date: Mon, 11 Nov 2019 23:37:54 -0800 Subject: [PATCH] Not sure why this change prevents a segfault in iris --- execution.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/execution.cc b/execution.cc index e7ca575d..5449c480 100644 --- 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 */ -- 2.34.1