Yellow potatopstack
SkillsStatechartScriptsTestCorpusShadow

Shadow

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

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

Rules that hold

Shadow, Shade, Hold TLC checked Shade only in the initial states, because it has no [], <>, or ~>. List it as an INVARIANT to check every state. TLC checked Hold only in the initial states, because it has no [], <>, or ~>. List it as an INVARIANT to check every state.

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