Changes in src/tests/sched-int-wait.c [6c7b1e7:9fe39530]

File:

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

src/tests/sched-int-wait.c

@@ -62 +62 @@
 
         while( waiter_left != 0 ) {
-            unsigned action = random( 4 );
+                unsigned action = (unsigned)rand48() % 4;
                 switch( action ) {
                         case 0:
@@ -127 +127 @@
 // Main
 int main(int argc, char* argv[]) {
-        random_seed( time( NULL ) );
+        rand48seed( time( NULL ) );
         waiter_left = 4;
         processor p[2];