Make our pthread id starts from 2. Reserve id 1 for main thread

[c11tester.git] / newfuzzer.cc

diff --git a/newfuzzer.cc b/newfuzzer.cc
index fca9da8d48896504b6aafeea2dda40060a10e1a8..01eed86ba1489b983fadd0bc34cc9cfb94d5b875 100644 (file)
--- a/newfuzzer.cc
+++ b/newfuzzer.cc
@@ -447,5 +447,5 @@ bool NewFuzzer::find_threads(ModelAction * pending_read)
 
 bool NewFuzzer::shouldWait(const ModelAction * act)
 {
-       return random() & 1;
+       return true;
 }