projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'branch-weiyu' of /home/git/random-fuzzer into new_fuzzer
[c11tester.git]
/
fuzzer.cc
diff --git
a/fuzzer.cc
b/fuzzer.cc
index 9ad61c3c5cddbc96073e85c15e8dd05f46bffadb..5b174b15f847b1df433178d600758e3be93b30f8 100644
(file)
--- a/
fuzzer.cc
+++ b/
fuzzer.cc
@@
-8,7
+8,7
@@
int Fuzzer::selectWrite(ModelAction *read, SnapVector<ModelAction *> * rf_set) {
return random_index;
}
return random_index;
}
-Thread * Fuzzer::selectThread(
Node *n,
int * threadlist, int numthreads) {
+Thread * Fuzzer::selectThread(int * threadlist, int numthreads) {
int random_index = random() % numthreads;
int thread = threadlist[random_index];
thread_id_t curr_tid = int_to_id(thread);
int random_index = random() % numthreads;
int thread = threadlist[random_index];
thread_id_t curr_tid = int_to_id(thread);