Changeset 6c7b1e7 for src/tests/sched-ext-when.c

Timestamp:

Oct 31, 2017, 1:41:33 PM (7 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, 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:

0dc954b

Parents:

c59bde6

Message:

change random name

File:

• src/tests/sched-ext-when.c (modified) (2 diffs)

src/tests/sched-ext-when.c

@@ -15 +15 @@
 static const unsigned long N = 4_998ul;
 
-static inline void rand_yield() { yield(((unsigned)rand48()) % 10); }
+static inline void rand_yield() { yield(random( 10 )); }
 
 monitor global_t {
@@ -77 +77 @@
 
 int main() {
-        rand48seed( time(NULL) );
+        random_seed( time(NULL) );
         sout | "Starting" | endl;
         {