Changeset d60a4c2 for tests/concurrency/signal/disjoint.cfa

Timestamp:

Jan 11, 2025, 5:48:46 PM (8 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

f886608

Parents:

7d65715f (diff), 32a119e9 (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:

• tests/concurrency/signal/disjoint.cfa (modified) (4 diffs)

tests/concurrency/signal/disjoint.cfa

@@ -65 +65 @@
 }
 
-void main( Barger & this ) {
+void main( Barger & ) {
         while( !all_done ) {
                 barge( globals.data );
@@ -93 +93 @@
 }
 
-void main( Waiter & this ) {
+void main( Waiter & ) {
         while( wait( globals.mut, globals.data ) ) { KICK_WATCHDOG; yield(); }
 }
@@ -122 +122 @@
 }
 
-void main( Signaller & this ) {
+void main( Signaller & ) {
         while( !all_done ) {
                 logic( globals.mut );
@@ -131 +131 @@
 //------------------------------------------------------------------------------
 // Main loop
-int main(int argc, char* argv[]) {
+int main() {
         srandom( time( NULL ) );
         all_done = false;