X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=fuzzer.h;fp=fuzzer.h;h=e794d225b70c15d5e8954ab9fed034e37f168d96;hb=ce83d6dece4406efc62a60fe79ea4c9731dc7d5f;hp=572190e1b35bc4df9437836f96e62667a2dfdf5b;hpb=ab6eed5e7e56620a4104fc99291a00948bd6c3df;p=c11tester.git

diff --git a/fuzzer.h b/fuzzer.h
index 572190e1..e794d225 100644
--- 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:
 };