Merge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into...

[c11tester.git] / fuzzer.h

diff --git a/fuzzer.h b/fuzzer.h
index a6318d04ff941aada044e7a81f757c1185c56ea1..691477bd6e2e3db8833add08de8c3d5f619bd94d 100644 (file)
--- a/fuzzer.h
+++ b/fuzzer.h
@@ -6,11 +6,11 @@
 
 class Fuzzer {
 public:
-  Fuzzer() {}
-  int selectWrite(ModelAction *read, ModelVector<ModelAction *>* rf_set);
-  Thread * selectThread(Node *n, int * threadlist, int numthreads);
-  Thread * selectNotify(action_list_t * waiters);
-  MEMALLOC
+       Fuzzer() {}
+       int selectWrite(ModelAction *read, SnapVector<const ModelAction *>* rf_set);
+       Thread * selectThread(Node *n, int * threadlist, int numthreads);
+       Thread * selectNotify(action_list_t * waiters);
+       MEMALLOC
 private:
 };
 #endif