Yellow potatopstack
SkillsStatechartScriptsTestCorpusLogin

Login

pstack/skills/statechart/scripts/test/corpus/Login/report.md

TLC reached 9 states and 18 steps. The chart draws 9 states and 14 arrows. With VIEW, TLC keeps one representative for each group of states that it counts as the same. An arrow can lead to the representative rather than to the state that the step reaches.

Rules that hold

TypeOK, NoDeadlock

An unofficial reader for poteto's pstack plugin. All content comes from the cursor/plugins GitHub repo. Not affiliated with poteto or Cursor.

On this page

Rules that hold