[State machines] Tighten rules for junctions in spec

nasa / fpp

F Prime Prime: A modeling language for F Prime

https://fprime.jpl.nasa.gov

Apache License 2.0

49 stars 31 forks source link

Closed bocchino closed 3 months ago

bocchino commented 3 months ago

We need to add the following rules:

Each junction must have one and only one visit arrow going into it.
No path through successive visit arrows that passes only through junctions can be a cycle.

bocchino commented 3 months ago

Done in #461.