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.

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.

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.