Yellow potatopstack
SkillsStatechartScriptsTestCorpusCounterloop

CounterLoop

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

TLC reached 3 states and 3 steps. The chart draws 3 states and 3 arrows.

ReachesThree breaks

TLC's counterexample is in tlc-ReachesThree.out. It has 3 steps: 0. 0

  1. Up: 1
  2. Up: 2
  3. Back: 1 The run loops through "1" and "2" forever.

Rules that hold

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

ReachesThree breaksRules that hold