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         virtual void register_engine(ModelHistory * history, ModelExecution * execution) {}
  16         MEMALLOC
  17 private:
  18 };
  19 #endif