Changeset fd3be42 for tests/concurrency/waituntil/timeout.cfa

Timestamp:

Mar 19, 2025, 4:54:09 PM (10 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

5329cba

Parents:

42cd67b8 (diff), e1358c0 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/concurrency/waituntil/timeout.cfa (modified) (1 diff)

tests/concurrency/waituntil/timeout.cfa

@@ -6 +6 @@
 
 int main() {
-    waituntil( sleep( 1`ms ) ) { printf("timeout\n"); }
-    waituntil( timeout( 1`s ) ) { printf("timeout\n"); } or waituntil( timeout( 2`s ) ) { printf("timeout\n"); }
-    waituntil( timeout( 100`s ) ) { printf("timeout 1\n"); } or else { printf("else\n"); }
-    waituntil( timeout( 1`ns ) ) { printf("timeout\n"); } and waituntil( timeout( 2`s ) ) { printf("timeout\n"); }
+    waituntil( _timeout( 1`ms ) ) { printf("timeout\n"); }
+    waituntil( _timeout( 1`s ) ) { printf("timeout\n"); } or waituntil( _timeout( 2`s ) ) { printf("timeout\n"); }
+    waituntil( _timeout( 100`s ) ) { printf("timeout 1\n"); } or else { printf("else\n"); }
+    waituntil( _timeout( 1`ns ) ) { printf("timeout\n"); } and waituntil( _timeout( 2`s ) ) { printf("timeout\n"); }
     int count = 0;
     for ( i; 1000 )
-        waituntil( timeout( 1`ns ) ) { count++; } or else { count++; }
+        waituntil( _timeout( 1`ns ) ) { count++; } or else { count++; }
 
     assert( count == 1000 );
-    sleep( 1`ms );
+    _timeout( 1`ms );
     printf("done\n");
 }