Yellow potatopstack
SkillsStatechartScriptsTestCorpusLoginparallel

LoginParallel

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

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

SignedInWhileLocked breaks

The shortest path has 5 steps: 0. Session Signed out, Tries No wrong tries

  1. ThePasswordIsWrong: Session Signed out, Tries 1 wrong try
  2. ThePasswordIsWrong: Session Signed out, Tries 2 wrong tries
  3. ThePasswordIsWrong: Session Signed out, Tries Locked out
  4. YouSubmitAPassword: Session Checking the password, Tries Locked out
  5. ThePasswordIsRight: Session Signed in, Tries Locked out

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

SignedInWhileLocked breaksRules that hold