Yellow potatopstack
SkillsStatechartScriptsTestCorpusLoginguarded

LoginGuarded

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

TLC reached 8 states and 11 steps. The chart draws 7 states and 10 arrows. The step ThePasswordIsRight changes Session and Tries at the same time. The step ThePasswordIsWrong changes Session and Tries at the same time.

Rules that hold

TypeOK, SignedInWhileLocked, 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