Fixing lff formatting issues by running lff and excluding intentionally failing example in zero delay cycles examples

[hokeun]

This PR partially fixes issues of failing lff checks in CI tests. See #119 for more details.

I ran lff commands for the following examples:

• /examples/C/src/zero-delay-cycles/Consistency.lf
• /examples/C/src/zero-delay-cycles/ZeroDelayCycle.lf

Now lff --check passes for the examples above.
However, there is still one remaining example with lff check issues:

• /examples/C/src/zero-delay-cycles/CausalityLoop.lf

This will need more work.

[edwardalee]

LGTM. May as well merge and continue fixes...

[lhstrh]

The remaining errors thrown by check-format aren't actually formatting issues but correctness issues. It's a program called CausalityLoop.lf with has, well..., a causality loop in it, which is not allowed by the compiler. I suppose that program exists to illustrate the issue of causality loops, but then we shouldn't insist it being a correct program. Note that action-check-lf-files action has an exclude_dirs argument that allows you to specify directories that are not checked. I believe it defaults to '["failing", "experimental"]'. So just put the CausalityLoop.lf in a directory called failing, and the check should pass...

[hokeun]

So just put the CausalityLoop.lf in a directory called failing, and the check should pass...

Thanks. Hope my change is aligned with what you wanted.

Requested change has been made.

[lhstrh]

👍