SkillsStatechartScriptsTestCorpusCounterfan
CounterFan
TLC reached 25 states and 36 steps. The chart draws 25 states and 36 arrows.
NotDone breaks
The shortest path has 2 steps: 0. done=FALSE x=0
- Pick: done=FALSE x=1
- Finish: done=TRUE x=1
Rules that hold
NoDeadlock