Fault tolerance with redundancy and leader election #225
edwardaleeci.yml
on: pull_request
find-latest-release
/
get-latest-release
26s
Annotations
7 errors
|
check-format
Error: Command failed: lff --check "./examples/C/src/leader-election/NRP_FD.lf"
lff: error: Would reformat /home/runner/work/playground-lingua-franca/playground-lingua-franca/examples/C/src/leader-election/NRP_FD.lf
lff: info: Done formatting.
|
|
check-format
Error: Command failed: lff --check "./examples/C/src/leader-election/NRP_FD_Partitioning.lf"
lff: error: Not a port.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:15:3
|
14 |
15 | node1.out1 -> switch1.in1 after delay
| ^^^^^^^^^^ Not a port.
|
16 | switch1.out1 -> node1.in1 after delay
lff: error: Couldn't resolve reference to Variable 'out1'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:15:9
|
14 |
15 | node1.out1 -> switch1.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out1'.
|
16 | switch1.out1 -> node1.in1 after delay
lff: error: Couldn't resolve reference to Variable 'in1'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:16:25
|
15 | node1.out1 -> switch1.in1 after delay
16 | switch1.out1 -> node1.in1 after delay
| ^^^ Couldn't resolve reference to Variable 'in1'.
|
17 |
lff: error: Couldn't resolve reference to Variable 'in1'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:21:25
|
20 |
21 | switch2.out1 -> node2.in1 after delay
| ^^^ Couldn't resolve reference to Variable 'in1'.
|
22 | node2.out1 -> switch2.in1 after delay
lff: error: Couldn't resolve reference to Variable 'out1'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:22:9
|
21 | switch2.out1 -> node2.in1 after delay
22 | node2.out1 -> switch2.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out1'.
|
23 |
lff: error: Couldn't resolve reference to Variable 'out2'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:28:9
|
27 |
28 | node1.out2 -> switch3.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out2'.
|
29 | switch3.out1 -> node1.in2 after delay
lff: error: Couldn't resolve reference to Variable 'in2'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:29:25
|
28 | node1.out2 -> switch3.in1 after delay
29 | switch3.out1 -> node1.in2 after delay
| ^^^ Couldn't resolve reference to Variable 'in2'.
|
30 |
lff: error: Couldn't resolve reference to Variable 'in2'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:34:25
|
33 |
34 | switch4.out1 -> node2.in2 after delay
| ^^^ Couldn't resolve reference to Variable 'in2'.
|
35 | node2.out2 -> switch4.in1 after delay
lff: error: Couldn't resolve reference to Variable 'out2'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:35:9
|
34 | switch4.out1 -> node2.in2 after delay
35 | node2.out2 -> switch4.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out2'.
|
36 | }
lff: fatal error: Aborting due to 9 previous errors.
|
|
check-format
Error: Command failed: lff --check "./examples/C/src/leader-election/NRP_FD_PrimaryFails.lf"
lff: error: Not a port.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:14:3
|
13 |
14 | node1.out1 -> switch1.in1 after delay
| ^^^^^^^^^^ Not a port.
|
15 | switch1.out1 -> node1.in1 after delay
lff: error: Couldn't resolve reference to Variable 'out1'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:14:9
|
13 |
14 | node1.out1 -> switch1.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out1'.
|
15 | switch1.out1 -> node1.in1 after delay
lff: error: Couldn't resolve reference to Variable 'in1'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:15:25
|
14 | node1.out1 -> switch1.in1 after delay
15 | switch1.out1 -> node1.in1 after delay
| ^^^ Couldn't resolve reference to Variable 'in1'.
|
16 |
lff: error: Couldn't resolve reference to Variable 'in1'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:20:25
|
19 |
20 | switch2.out1 -> node2.in1 after delay
| ^^^ Couldn't resolve reference to Variable 'in1'.
|
21 | node2.out1 -> switch2.in1 after delay
lff: error: Couldn't resolve reference to Variable 'out1'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:21:9
|
20 | switch2.out1 -> node2.in1 after delay
21 | node2.out1 -> switch2.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out1'.
|
22 |
lff: error: Couldn't resolve reference to Variable 'out2'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:26:9
|
25 |
26 | node1.out2 -> switch3.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out2'.
|
27 | switch3.out1 -> node1.in2 after delay
lff: error: Couldn't resolve reference to Variable 'in2'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:27:25
|
26 | node1.out2 -> switch3.in1 after delay
27 | switch3.out1 -> node1.in2 after delay
| ^^^ Couldn't resolve reference to Variable 'in2'.
|
28 |
lff: error: Couldn't resolve reference to Variable 'in2'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:32:25
|
31 |
32 | switch4.out1 -> node2.in2 after delay
| ^^^ Couldn't resolve reference to Variable 'in2'.
|
33 | node2.out2 -> switch4.in1 after delay
lff: error: Couldn't resolve reference to Variable 'out2'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:33:9
|
32 | switch4.out1 -> node2.in2 after delay
33 | node2.out2 -> switch4.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out2'.
|
34 | }
lff: fatal error: Aborting due to 9 previous errors.
|
|
check-format
3 file(s) failed format check
|
|
check-compile
Error: Command failed: lfc "./examples/C/src/leader-election/NRP_FD_Partitioning.lf"
lfc: error: Not a port.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:15:3
|
14 |
15 | node1.out1 -> switch1.in1 after delay
| ^^^^^^^^^^ Not a port.
|
16 | switch1.out1 -> node1.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'out1'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:15:9
|
14 |
15 | node1.out1 -> switch1.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out1'.
|
16 | switch1.out1 -> node1.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'in1'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:16:25
|
15 | node1.out1 -> switch1.in1 after delay
16 | switch1.out1 -> node1.in1 after delay
| ^^^ Couldn't resolve reference to Variable 'in1'.
|
17 |
lfc: error: Couldn't resolve reference to Variable 'in1'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:21:25
|
20 |
21 | switch2.out1 -> node2.in1 after delay
| ^^^ Couldn't resolve reference to Variable 'in1'.
|
22 | node2.out1 -> switch2.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'out1'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:22:9
|
21 | switch2.out1 -> node2.in1 after delay
22 | node2.out1 -> switch2.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out1'.
|
23 |
lfc: error: Couldn't resolve reference to Variable 'out2'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:28:9
|
27 |
28 | node1.out2 -> switch3.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out2'.
|
29 | switch3.out1 -> node1.in2 after delay
lfc: error: Couldn't resolve reference to Variable 'in2'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:29:25
|
28 | node1.out2 -> switch3.in1 after delay
29 | switch3.out1 -> node1.in2 after delay
| ^^^ Couldn't resolve reference to Variable 'in2'.
|
30 |
lfc: error: Couldn't resolve reference to Variable 'in2'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:34:25
|
33 |
34 | switch4.out1 -> node2.in2 after delay
| ^^^ Couldn't resolve reference to Variable 'in2'.
|
35 | node2.out2 -> switch4.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'out2'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:35:9
|
34 | switch4.out1 -> node2.in2 after delay
35 | node2.out2 -> switch4.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out2'.
|
36 | }
lfc: fatal error: Aborting due to 9 previous errors.
|
|
check-compile
Error: Command failed: lfc "./examples/C/src/leader-election/NRP_FD_PrimaryFails.lf"
lfc: error: Not a port.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:14:3
|
13 |
14 | node1.out1 -> switch1.in1 after delay
| ^^^^^^^^^^ Not a port.
|
15 | switch1.out1 -> node1.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'out1'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:14:9
|
13 |
14 | node1.out1 -> switch1.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out1'.
|
15 | switch1.out1 -> node1.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'in1'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:15:25
|
14 | node1.out1 -> switch1.in1 after delay
15 | switch1.out1 -> node1.in1 after delay
| ^^^ Couldn't resolve reference to Variable 'in1'.
|
16 |
lfc: error: Couldn't resolve reference to Variable 'in1'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:20:25
|
19 |
20 | switch2.out1 -> node2.in1 after delay
| ^^^ Couldn't resolve reference to Variable 'in1'.
|
21 | node2.out1 -> switch2.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'out1'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:21:9
|
20 | switch2.out1 -> node2.in1 after delay
21 | node2.out1 -> switch2.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out1'.
|
22 |
lfc: error: Couldn't resolve reference to Variable 'out2'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:26:9
|
25 |
26 | node1.out2 -> switch3.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out2'.
|
27 | switch3.out1 -> node1.in2 after delay
lfc: error: Couldn't resolve reference to Variable 'in2'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:27:25
|
26 | node1.out2 -> switch3.in1 after delay
27 | switch3.out1 -> node1.in2 after delay
| ^^^ Couldn't resolve reference to Variable 'in2'.
|
28 |
lfc: error: Couldn't resolve reference to Variable 'in2'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:32:25
|
31 |
32 | switch4.out1 -> node2.in2 after delay
| ^^^ Couldn't resolve reference to Variable 'in2'.
|
33 | node2.out2 -> switch4.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'out2'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:33:9
|
32 | switch4.out1 -> node2.in2 after delay
33 | node2.out2 -> switch4.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out2'.
|
34 | }
lfc: fatal error: Aborting due to 9 previous errors.
|
|
check-compile
2 file(s) failed compile check
|