some edits to NewFuzzer

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index eefb9107b7d3d52d5f38cd702a250642c28b30f2..9ee915708edd18550266126af75ad746c8f3544e 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -74,6 +74,7 @@ ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler) :
        model_thread = new Thread(get_next_id());
        add_thread(model_thread);
        scheduler->register_engine(this);
+       fuzzer->register_engine(m->get_history(), this);
 }
 
 /** @brief Destructor */