Ignore:
Timestamp:
Dec 13, 2019, 1:46:53 PM (2 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
arm-eh, jacob/cs343-translation, master, new-ast, new-ast-unique-expr
Children:
dca5802
Parents:
c84b4be
Message:

Fixed some tests that had some non-determinism

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tests/concurrent/waitfor/when.cfa

    rc84b4be r75ca7f4  
    5757
    5858void arbiter( global_t & mutex this ) {
     59        // There is a race at start where callers can get in before the arbiter.
     60        // It doesn't really matter here so just restart the loop correctly and move on
     61        this.last_call = 6;
     62
    5963        for( int i = 0; i < N; i++ ) {
    6064                   when( this.last_call == 6 ) waitfor( call1, this ) { if( this.last_call != 1) { serr | "Expected last_call to be 1 got" | this.last_call; } }
Note: See TracChangeset for help on using the changeset viewer.