Changeset 10b5970 for tests/concurrency/examples

Timestamp:

Jan 7, 2025, 3:22:19 PM (10 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

190a833

Parents:

70670e7

Message:

Fix many test-suite- and libcfa-caused unused variable warnings.

In scope are easy fixes among tests whose sole warnings were unused variable. Reduces the wflags lax list by 40%.

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;