Changeset 54aba8d for src/tests/concurrent/signal

Timestamp:

Jan 2, 2018, 1:53:13 PM (5 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

b3048d4

Parents:

490d9972

Message:

change name of random_seed to srandom, and make all random calls through rand48

Location:

src/tests/concurrent/signal

Files:

• barge.c (modified) (1 diff)
• block.c (modified) (1 diff)
• disjoint.c (modified) (1 diff)
• wait.c (modified) (1 diff)

src/tests/concurrent/signal/barge.c

@@ -109 +109 @@
 
 int main(int argc, char* argv[]) {
-        random_seed(0);
+        srandom(0);
         processor p;
         {

src/tests/concurrent/signal/block.c

@@ -118 +118 @@
 
 int main(int argc, char* argv[]) {
-        random_seed( time( NULL ) );
+        srandom( time( NULL ) );
         done = false;
         processor p;

src/tests/concurrent/signal/disjoint.c

@@ -109 +109 @@
 // Main loop
 int main(int argc, char* argv[]) {
-        random_seed( time( NULL ) );
+        srandom( time( NULL ) );
         all_done = false;
         processor p;

src/tests/concurrent/signal/wait.c

@@ -127 +127 @@
 // Main
 int main(int argc, char* argv[]) {
-        random_seed( time( NULL ) );
+        srandom( time( NULL ) );
         waiter_left = 4;
         processor p[2];