Ignore:
Timestamp:
Jun 28, 2021, 3:52:07 PM (11 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr
Children:
9380add
Parents:
44b37de (diff), 8a07213 (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:
1 edited

Legend:

Unmodified
Added
Removed
  • tests/concurrent/signal/disjoint.cfa

    r44b37de rd0da7ed  
    7777        wait( cond );
    7878        if( d.state != SIGNAL ) {
    79                 sout | "ERROR barging!";
     79                abort | "ERROR barging!";
    8080        }
    8181
     
    113113        bool running = TEST(globals.data.counter < N) && globals.data.counter > 0;
    114114        if( globals.data.state != SIGNAL && running ) {
    115                 sout | "ERROR Eager signal" | globals.data.state;
     115                abort | "ERROR Eager signal" | globals.data.state;
    116116        }
    117117}
Note: See TracChangeset for help on using the changeset viewer.