Changes in src/tests/sched-int-wait.c [303406a:cd99ef1]

File:

• src/tests/sched-int-wait.c (modified) (2 diffs)

src/tests/sched-int-wait.c

@@ -5 +5 @@
 #include <thread>
 
-#include <time.h>
-
-static const unsigned long N = 2_500ul;
+static const unsigned long N = 10_000ul;
 
 #ifndef PREEMPTION_RATE
@@ -121 +119 @@
 // Main
 int main(int argc, char* argv[]) {
-        rand48seed( time( NULL ) );
         waiter_left = 4;
         processor p[2];