SkillsStatechartScriptsTestCorpusCountertieingraph
CounterTieInGraph
TLC reached 4 states and 6 steps. The chart draws 4 states and 6 arrows.
OneOrThree breaks
The shortest path has 1 step: 0. 0
- Inc: 1
Rules that hold
NoDeadlock
TLC reached 4 states and 6 steps. The chart draws 4 states and 6 arrows.
The shortest path has 1 step: 0. 0
NoDeadlock