Changeset d829c6d for tests

Timestamp:

Jul 11, 2023, 2:29:49 PM (11 months ago)

Author:

caparsons <caparson@…>

Branches:

master

Children:

c16cc99

Parents:

bbecdd4

Message:

added test that consistently produced the waituntil channel close failure case

Location:

tests/concurrency/waituntil

Files:

• .expect/repeat_close.txt (added)
• channel_close.cfa (modified) (2 diffs)
• repeat_close.cfa (added)

tests/concurrency/waituntil/channel_close.cfa

@@ -31 +31 @@
             }
             waituntil( (in << A) ) { assert( A_removes == in ); A_removes++; removes++; }
-            or waituntil( (in2 << B) ) { assert( B_removes == in2 ); B_removes++; removes++; }
+            or waituntil( (in << B) ) { assert( B_removes == in ); B_removes++; removes++; }
         }
     } catchResume ( channel_closed * e ) {} // continue to remove until would block
@@ -74 +74 @@
     ^B{};
 
+    useAnd = true;
+
     inserts = 0;
     removes = 0;