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

File:

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

src/tests/sched-int-disjoint.c

@@ -3 +3 @@
 #include <monitor>
 #include <thread>
+
+#include <time.h>
 
 static const unsigned long N = 10_000ul;
@@ -107 +109 @@
 // Main loop
 int main(int argc, char* argv[]) {
+        rand48seed( time( NULL ) );
         all_done = false;
         processor p;