Changes in tests/concurrency/waituntil/channel_close.cfa [c26bea2a:d829c6d]

File:

• tests/concurrency/waituntil/channel_close.cfa (modified) (2 diffs)

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;