Changeset 2c24971 for tests/concurrent/waituntil

Timestamp:

May 11, 2023, 8:28:12 PM (2 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master

Children:

8fa3b660

Parents:

9eb7f07c (diff), 7b53bfd (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

Location:

tests/concurrent/waituntil

Files:

• .expect/one_chan_spin.txt (added)
• one_chan.cfa (modified) (2 diffs)
• one_chan_spin.cfa (added)

tests/concurrent/waituntil/one_chan.cfa

@@ -37 +37 @@
         printf("waiting for empty channels\n");
         LINE_COUNTER = 3;
-        size_t C_count = get_count( C );
-        LINE_COUNTER = 5;
-        while( C_count > 0 ) { 
-            C_count = get_count( C );
-        }
+        // size_t C_count = get_count( C );
+        // LINE_COUNTER = 5;
+        // while( C_count > 0 ) { 
+        //     C_count = get_count( C );
+        // }
         LINE_COUNTER = 7;
         printf("sending sentinels\n");
@@ -50 +50 @@
         LINE_COUNTER = 17;
     }
+    assert(get_count( C ) == 0);
     LINE_COUNTER = 19;
     if ( total != globalTotal )