SkillsStatechartScriptsTestCorpusSpacednames
SpacedNames
TLC reached 5 states and 4 steps. The chart draws 5 states and 4 arrows.
Going breaks
The shortest path has 2 steps: 0. s="" t="z"
- Go: s="a" t="z"
- Stop: s="!" t="z"
NoDeadlock breaks
The shortest path has 2 steps: 0. s="" t="z"
- Go: s="a" t="z"
- Stop: s="!" t="z"