newfuzzer.cc

   1 #include "newfuzzer.h"
   2 #include "threads-model.h"
   3 #include "model.h"
   4 #include "action.h"
   5
   6 int NewFuzzer::selectWrite(ModelAction *read, SnapVector<ModelAction *> * rf_set)
   7 {
   8         int random_index = random() % rf_set->size();
   9         return random_index;
  10 }