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         int selectWrite(ModelAction *read, SnapVector<const ModelAction *>* rf_set);
  11         Thread * selectThread(Node *n, int * threadlist, int numthreads);
  12         Thread * selectNotify(action_list_t * waiters);
  13         MEMALLOC
  14 private:
  15 };
  16 #endif