More bug fixes

[c11tester.git] / fuzzer.h

diff --git a/fuzzer.h b/fuzzer.h
index 572190e1b35bc4df9437836f96e62667a2dfdf5b..b0f533d2d622d70e6feb6091feed5c4be1b50f69 100644 (file)
--- a/fuzzer.h
+++ b/fuzzer.h
@@ -3,14 +3,21 @@
 #include "classlist.h"
 #include "mymemory.h"
 #include "stl-model.h"
+#include "threads-model.h"
 
 class Fuzzer {
 public:
        Fuzzer() {}
-       int selectWrite(ModelAction *read, SnapVector<ModelAction *>* rf_set);
-       Thread * selectThread(int * threadlist, int numthreads);
+       virtual int selectWrite(ModelAction *read, SnapVector<ModelAction *>* rf_set);
+       virtual bool has_paused_threads() { return false; }
+       virtual Thread * selectThread(int * threadlist, int numthreads);
+
        Thread * selectNotify(action_list_t * waiters);
-       MEMALLOC
+       bool shouldSleep(const ModelAction *sleep);
+       bool shouldWake(const ModelAction *sleep);
+       virtual bool shouldWait(const ModelAction *wait);
+       virtual void register_engine(ModelExecution * execution) {}
+       SNAPSHOTALLOC
 private:
 };
 #endif