From: weiyu <weiyuluo1232@gmail.com>
Date: Tue, 12 Nov 2019 07:37:54 +0000 (-0800)
Subject: Not sure why this change prevents a segfault in iris
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=06bee25f85e35dec1db4247dadde23037b8ec67b;p=c11tester.git

Not sure why this change prevents a segfault in iris
---

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 */