Changeset d60a4c2 for tests/concurrency/examples

Timestamp:

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

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master, stuck-waitfor-destruct

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

Location:

tests/concurrency/examples

Files:

• boundedBufferEXT.cfa (modified) (1 diff)
• boundedBufferINT.cfa (modified) (1 diff)

tests/concurrency/examples/boundedBufferEXT.cfa

@@ -94 +94 @@
         Buffer(int) buffer;
         int sums[Cons];
-        int i;
         processor p;
 

tests/concurrency/examples/boundedBufferINT.cfa

@@ -94 +94 @@
         Consumer * cons[Cons];
         int sums[Cons];
-        int i;
         processor p;