SkillsStatechartScriptsTestCorpusCounterstop
CounterStop
TLC reached 3 states and 2 steps. The chart draws 3 states and 2 arrows.
Rules that hold
TypeOK, NoDeadlock
TLC reached 3 states and 2 steps. The chart draws 3 states and 2 arrows.
TypeOK, NoDeadlock