eb6fd4ef35d7d2c05f5838829fac89962f8c23fe
[c11tester.git] / fuzzer.h
1 #ifndef FUZZER_H
2 #define FUZZER_H
3 #include "classlist.h"
4 #include "mymemory.h"
5 #include "stl-model.h"
6
7 class Fuzzer {
8 public:
9         Fuzzer() {}
10         virtual int selectWrite(ModelAction *read, SnapVector<ModelAction *>* rf_set);
11         Thread * selectThread(int * threadlist, int numthreads);
12         Thread * selectNotify(action_list_t * waiters);
13         bool shouldSleep(const ModelAction *sleep);
14         bool shouldWake(const ModelAction *sleep);
15         MEMALLOC
16 private:
17 };
18 #endif