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   ModelAction * selectWrite(ModelAction *read, ModelVector<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