Readme files #413
ci.yml
on: push
find-latest-release
/
get-latest-release
15s
Annotations
5 errors and 3 warnings
check-compile
Process completed with exit code 100.
|
check-format
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.
|
check-format
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.
|
check-format
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.
|
check-format
3 file(s) failed format check
|
find-latest-release / get-latest-release
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
check-compile
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
check-format
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|