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

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;
@@ -109 +107 @@
 // Main loop
 int main(int argc, char* argv[]) {
-        rand48seed( time( NULL ) );
         all_done = false;
         processor p;