initial commit for declaring member functions of Fuzzer as virtual

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index c6962bc07aeeea50c693c02c78a3aaf5ed3fbe84..eefb9107b7d3d52d5f38cd702a250642c28b30f2 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -15,6 +15,7 @@
 #include "bugmessage.h"
 #include "history.h"
 #include "fuzzer.h"
+#include "newfuzzer.h"
 
 #define INITIAL_THREAD_ID       0
 
@@ -64,7 +65,7 @@ ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler) :
        thrd_last_fence_release(),
        priv(new struct model_snapshot_members ()),
        mo_graph(new CycleGraph()),
-       fuzzer(new Fuzzer()),
+       fuzzer(new NewFuzzer()),
        thrd_func_list(),
        thrd_func_act_lists(),
        isfinished(false)
@@ -303,7 +304,6 @@ void ModelExecution::process_read(ModelAction *curr, SnapVector<ModelAction *> *
                int index = fuzzer->selectWrite(curr, rf_set);
                ModelAction *rf = (*rf_set)[index];
 
-
                ASSERT(rf);
                bool canprune = false;
                if (r_modification_order(curr, rf, priorset, &canprune)) {