SkillsStatechartScriptsTestCorpusUsernodeadlock
UserNoDeadlock
TLC reached 4 states and 3 steps. The chart draws 4 states and 3 arrows.
NoDeadlock breaks
The shortest path has 1 step: 0. 0
- Next: 1
CHECK_DEADLOCK breaks
The shortest path has 3 steps: 0. 0
- Next: 1
- Next: 2
- Next: 3