add sleep support

[c11tester.git] / fuzzer.h

diff --git a/fuzzer.h b/fuzzer.h
index 572190e1b35bc4df9437836f96e62667a2dfdf5b..e794d225b70c15d5e8954ab9fed034e37f168d96 100644 (file)
--- a/fuzzer.h
+++ b/fuzzer.h
@@ -10,6 +10,8 @@ public:
        int selectWrite(ModelAction *read, SnapVector<ModelAction *>* rf_set);
        Thread * selectThread(int * threadlist, int numthreads);
        Thread * selectNotify(action_list_t * waiters);
+       bool shouldSleep(const ModelAction *sleep);
+       bool shouldWake(const ModelAction *sleep);
        MEMALLOC
 private:
 };