Changeset d829c6d


Ignore:
Timestamp:
Jul 11, 2023, 2:29:49 PM (15 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:
2 added
1 edited

Legend:

Unmodified
Added
Removed
  • tests/concurrency/waituntil/channel_close.cfa

    rbbecdd4 rd829c6d  
    3131            }
    3232            waituntil( (in << A) ) { assert( A_removes == in ); A_removes++; removes++; }
    33             or waituntil( (in2 << B) ) { assert( B_removes == in2 ); B_removes++; removes++; }
     33            or waituntil( (in << B) ) { assert( B_removes == in ); B_removes++; removes++; }
    3434        }
    3535    } catchResume ( channel_closed * e ) {} // continue to remove until would block
     
    7474    ^B{};
    7575
     76    useAnd = true;
     77
    7678    inserts = 0;
    7779    removes = 0;
Note: See TracChangeset for help on using the changeset viewer.