projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Bug fixes and make Fuzzer selectable
[c11tester.git]
/
fuzzer.cc
diff --git
a/fuzzer.cc
b/fuzzer.cc
index 12396dd9dec0e4e97231fbd5e2dcce82b73f8958..371838dcb1977c912a346a7a995e4e9cc3083425 100644
(file)
--- a/
fuzzer.cc
+++ b/
fuzzer.cc
@@
-38,3
+38,8
@@
bool Fuzzer::shouldWake(const ModelAction *sleep) {
return ((sleep->get_time()+sleep->get_value()) < lcurrtime);
}
+
+bool Fuzzer::shouldWait(const ModelAction * act)
+{
+ return random() & 1;
+}