projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
remove extra cyclegraph calls
[c11tester.git]
/
fuzzer.h
diff --git
a/fuzzer.h
b/fuzzer.h
index 14d875d7827a2cf64c86f4abcf6838d56d7c00e9..a6318d04ff941aada044e7a81f757c1185c56ea1 100644
(file)
--- a/
fuzzer.h
+++ b/
fuzzer.h
@@
-7,7
+7,7
@@
class Fuzzer {
public:
Fuzzer() {}
class Fuzzer {
public:
Fuzzer() {}
-
ModelAction *
selectWrite(ModelAction *read, ModelVector<ModelAction *>* rf_set);
+
int
selectWrite(ModelAction *read, ModelVector<ModelAction *>* rf_set);
Thread * selectThread(Node *n, int * threadlist, int numthreads);
Thread * selectNotify(action_list_t * waiters);
MEMALLOC
Thread * selectThread(Node *n, int * threadlist, int numthreads);
Thread * selectNotify(action_list_t * waiters);
MEMALLOC