1 #ifndef __NEWFUZZER_H__
2 #define __NEWFUZZER_H__
9 class NewFuzzer : public Fuzzer {
12 int selectWrite(ModelAction *read, SnapVector<ModelAction *>* rf_set);
13 Thread * selectThread(int * threadlist, int numthreads);
14 Thread * selectNotify(action_list_t * waiters);
15 bool shouldSleep(const ModelAction *sleep);
16 bool shouldWake(const ModelAction *sleep);
21 #endif /* end of __NEWFUZZER_H__ */