SkillsStatechartScriptsTestCorpusFirstrule
FirstRule
TLC reached 4 states and 3 steps. The chart draws 4 states and 3 arrows.
NotOne breaks
The shortest path has 1 step: 0. 0
- Next: 1
NotOneOrThree breaks
The shortest path has 1 step: 0. 0
- Next: 1
AlsoNotOne breaks
The shortest path has 1 step: 0. 0
- Next: 1
NoDeadlock breaks
The shortest path has 3 steps: 0. 0
- Next: 1
- Next: 2
- Next: 3