Error: Command failed: lff --check "./examples/C/src/TOMACS/Consistency.lf" lff: error: Would reformat /home/runner/work/playground-lingua-franca/playground-lingua-franca/examples/C/src/TOMACS/Consistency.lf lff: info: Done formatting.

Error: Command failed: lff --check "./examples/C/src/TOMACS/Evaluation.lf" lff: error: Would reformat /home/runner/work/playground-lingua-franca/playground-lingua-franca/examples/C/src/TOMACS/Evaluation.lf lff: info: Done formatting.

Error: Command failed: lff --check "./examples/C/src/zero-delay-cycles/CausalityLoop.lf" lff: error: Cyclic dependency due to succeeding reaction. Consider reordering reactions within reactor Controller to avoid causality loop. --> examples/C/src/zero-delay-cycles/CausalityLoop.lf:18:3 | 17 | | >>>>>>>>>>>>>> 18 | reaction a1(planning) {= 19 | self->plan = planning->value; 20 | =} | <<<< Cyclic dependency due to succeeding reaction. Consider reordering reactions within reactor Controller to avoid causality loop. 21 | lff: error: Reaction triggers involved in cyclic dependency in reactor Controller: planning. --> examples/C/src/zero-delay-cycles/CausalityLoop.lf:18:15 | 17 | 18 | reaction a1(planning) {= | ^^^^^^^^ Reaction triggers involved in cyclic dependency in reactor Controller: planning. | 19 | self->plan = planning->value; lff: error: Cyclic dependency due to preceding reaction. Consider reordering reactions within reactor Controller to avoid causality loop. --> examples/C/src/zero-delay-cycles/CausalityLoop.lf:22:3 | 21 | | >>>>>>>>>>>>>> 22 | reaction a2(sensor) -> request_for_planning, control {= 23 | lf_set(request_for_planning, sensor->value); | ... 24 | lf_set(control, self->plan); 25 | =} | <<<< Cyclic dependency due to preceding reaction. Consider reordering reactions within reactor Controller to avoid causality loop. 26 | } lff: error: Reaction effects involved in cyclic dependency in reactor Controller: request_for_planning, control. --> examples/C/src/zero-delay-cycles/CausalityLoop.lf:22:26 | 21 | 22 | reaction a2(sensor) -> request_for_planning, control {= | ^^^^^^^^^^^^^^^^^^^^ Reaction effects involved in cyclic dependency in reactor Controller: request_for_planning, control. | 23 | lf_set(request_for_planning, sensor->value); lff: fatal error: Aborting due to 4 previous errors.

Error: Command failed: lff --check "./examples/C/src/zero-delay-cycles/Consistency.lf" lff: error: Would reformat /home/runner/work/playground-lingua-franca/playground-lingua-franca/examples/C/src/zero-delay-cycles/Consistency.lf lff: info: Done formatting.

Error: Command failed: lff --check "./examples/C/src/zero-delay-cycles/ZeroDelayCycle.lf" lff: error: Would reformat /home/runner/work/playground-lingua-franca/playground-lingua-franca/examples/C/src/zero-delay-cycles/ZeroDelayCycle.lf lff: info: Done formatting.

5 file(s) failed format check