statechart
Check a TLA+ model of a system that moves between states, such as a product flow, a protocol, or a service, and draw it as a Mermaid statechart. The report gives the shortest path to each state that breaks a rule. Use for /statechart, or to show a bug as a path through states.
Pinned to revision a4dd5b1f83ef, so it is the text this page describes rather than whatever the author pushed since.
Files
- skills/statechart/SKILL.md
- skills/statechart/references/render.md
- skills/statechart/scripts/backends/cfg.ts
- skills/statechart/scripts/backends/mermaid.ts
- skills/statechart/scripts/backends/plain-text.ts
- skills/statechart/scripts/backends/report.ts
- skills/statechart/scripts/frontends/config.ts
- skills/statechart/scripts/frontends/dot.ts
- skills/statechart/scripts/frontends/marks.ts
- skills/statechart/scripts/frontends/messages.ts
- skills/statechart/scripts/frontends/spec.ts
- skills/statechart/scripts/frontends/trace.ts
- skills/statechart/scripts/frontends/value.ts
- skills/statechart/scripts/frontends/verdict.ts
- skills/statechart/scripts/frontends/view.ts
- skills/statechart/scripts/ir.ts
- skills/statechart/scripts/package.json
- skills/statechart/scripts/passes/annotate.ts
- skills/statechart/scripts/passes/label.ts
- skills/statechart/scripts/passes/lift.ts
- skills/statechart/scripts/passes/loop-check.ts
- skills/statechart/scripts/passes/paths.ts
- skills/statechart/scripts/passes/reach.ts
- skills/statechart/scripts/passes/region-check.ts
- skills/statechart/scripts/passes/regions.ts
- skills/statechart/scripts/pipeline.ts
- skills/statechart/scripts/run.ts
- skills/statechart/scripts/statechart
- skills/statechart/scripts/statechart.ts
- skills/statechart/scripts/test/ConfigOracle.java
- skills/statechart/scripts/test/chart.test.ts
- skills/statechart/scripts/test/charts/Braces.mmd
- skills/statechart/scripts/test/charts/Escapes.mmd
- skills/statechart/scripts/test/charts/Phases.mmd
- skills/statechart/scripts/test/cli.test.ts
- skills/statechart/scripts/test/config-fuzz.test.ts
- skills/statechart/scripts/test/corpus.test.ts
- skills/statechart/scripts/test/corpus/Counter/ChartRun.out
- skills/statechart/scripts/test/corpus/Counter/Counter.cfg
- skills/statechart/scripts/test/corpus/Counter/Counter.tla
- skills/statechart/scripts/test/corpus/Counter/chart.mmd
- skills/statechart/scripts/test/corpus/Counter/graph.dot
- skills/statechart/scripts/test/corpus/Counter/report.md
- skills/statechart/scripts/test/corpus/Counter/sany.out
- skills/statechart/scripts/test/corpus/Counter/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg
- skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla
- skills/statechart/scripts/test/corpus/CounterAction/chart.mmd
- skills/statechart/scripts/test/corpus/CounterAction/graph.dot
- skills/statechart/scripts/test/corpus/CounterAction/report.md
- skills/statechart/scripts/test/corpus/CounterAction/sany.out
- skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit
- skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out
- skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out
- skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg
- skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla
- skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd
- skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot
- skills/statechart/scripts/test/corpus/CounterDeadlock/report.md
- skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out
- skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit
- skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out
- skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg
- skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla
- skills/statechart/scripts/test/corpus/CounterFan/chart.mmd
- skills/statechart/scripts/test/corpus/CounterFan/graph.dot
- skills/statechart/scripts/test/corpus/CounterFan/report.md
- skills/statechart/scripts/test/corpus/CounterFan/sany.out
- skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out
- skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit
- skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg
- skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla
- skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd
- skills/statechart/scripts/test/corpus/CounterGuard/graph.dot
- skills/statechart/scripts/test/corpus/CounterGuard/report.md
- skills/statechart/scripts/test/corpus/CounterGuard/sany.out
- skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit
- skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out
- skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg
- skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla
- skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd
- skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot
- skills/statechart/scripts/test/corpus/CounterInitPast/report.md
- skills/statechart/scripts/test/corpus/CounterInitPast/sany.out
- skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out
- skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg
- skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla
- skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd
- skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot
- skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md
- skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out
- skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg
- skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla
- skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla
- skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd
- skills/statechart/scripts/test/corpus/CounterInstance/graph.dot
- skills/statechart/scripts/test/corpus/CounterInstance/report.md
- skills/statechart/scripts/test/corpus/CounterInstance/sany.out
- skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg
- skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla
- skills/statechart/scripts/test/corpus/CounterJump/chart.mmd
- skills/statechart/scripts/test/corpus/CounterJump/graph.dot
- skills/statechart/scripts/test/corpus/CounterJump/report.md
- skills/statechart/scripts/test/corpus/CounterJump/sany.out
- skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out
- skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg
- skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla
- skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd
- skills/statechart/scripts/test/corpus/CounterLoop/graph.dot
- skills/statechart/scripts/test/corpus/CounterLoop/report.md
- skills/statechart/scripts/test/corpus/CounterLoop/sany.out
- skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg
- skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla
- skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd
- skills/statechart/scripts/test/corpus/CounterOrder/graph.dot
- skills/statechart/scripts/test/corpus/CounterOrder/report.md
- skills/statechart/scripts/test/corpus/CounterOrder/sany.out
- skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit
- skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out
- skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg
- skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla
- skills/statechart/scripts/test/corpus/CounterRules/Moves.tla
- skills/statechart/scripts/test/corpus/CounterRules/chart.mmd
- skills/statechart/scripts/test/corpus/CounterRules/graph.dot
- skills/statechart/scripts/test/corpus/CounterRules/report.md
- skills/statechart/scripts/test/corpus/CounterRules/sany.out
- skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit
- skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out
- skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit
- skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out
- skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out
- skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg
- skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla
- skills/statechart/scripts/test/corpus/CounterStart/chart.mmd
- skills/statechart/scripts/test/corpus/CounterStart/graph.dot
- skills/statechart/scripts/test/corpus/CounterStart/report.md
- skills/statechart/scripts/test/corpus/CounterStart/sany.out
- skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out
- skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg
- skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla
- skills/statechart/scripts/test/corpus/CounterStop/chart.mmd
- skills/statechart/scripts/test/corpus/CounterStop/graph.dot
- skills/statechart/scripts/test/corpus/CounterStop/report.md
- skills/statechart/scripts/test/corpus/CounterStop/sany.out
- skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg
- skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla
- skills/statechart/scripts/test/corpus/CounterTie/chart.mmd
- skills/statechart/scripts/test/corpus/CounterTie/graph.dot
- skills/statechart/scripts/test/corpus/CounterTie/report.md
- skills/statechart/scripts/test/corpus/CounterTie/sany.out
- skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit
- skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out
- skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit
- skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out
- skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out
- skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg
- skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla
- skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd
- skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot
- skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md
- skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out
- skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out
- skills/statechart/scripts/test/corpus/CounterView/ChartRun.out
- skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg
- skills/statechart/scripts/test/corpus/CounterView/CounterView.tla
- skills/statechart/scripts/test/corpus/CounterView/chart.mmd
- skills/statechart/scripts/test/corpus/CounterView/graph.dot
- skills/statechart/scripts/test/corpus/CounterView/report.md
- skills/statechart/scripts/test/corpus/CounterView/sany.out
- skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit
- skills/statechart/scripts/test/corpus/CounterView/verdict-1.out
- skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit
- skills/statechart/scripts/test/corpus/CounterView/verdict-2.out
- skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit
- skills/statechart/scripts/test/corpus/CounterView/verdict-3.out
- skills/statechart/scripts/test/corpus/CounterView/verdict-4.out
- skills/statechart/scripts/test/corpus/CounterView/view.mjs
- skills/statechart/scripts/test/corpus/DieHard/ChartRun.out
- skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg
- skills/statechart/scripts/test/corpus/DieHard/DieHard.tla
- skills/statechart/scripts/test/corpus/DieHard/chart.mmd
- skills/statechart/scripts/test/corpus/DieHard/graph.dot
- skills/statechart/scripts/test/corpus/DieHard/report.md
- skills/statechart/scripts/test/corpus/DieHard/sany.out
- skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit
- skills/statechart/scripts/test/corpus/DieHard/verdict-1.out
- skills/statechart/scripts/test/corpus/DieHard/verdict-2.out
- skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out
- skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg
- skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla
- skills/statechart/scripts/test/corpus/FirstRule/chart.mmd
- skills/statechart/scripts/test/corpus/FirstRule/graph.dot
- skills/statechart/scripts/test/corpus/FirstRule/report.md
- skills/statechart/scripts/test/corpus/FirstRule/sany.out
- skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit
- skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out
- skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit
- skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out
- skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit
- skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out
- skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit
- skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out
- skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out
- skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg
- skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla
- skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd
- skills/statechart/scripts/test/corpus/HiddenClock/graph.dot
- skills/statechart/scripts/test/corpus/HiddenClock/report.md
- skills/statechart/scripts/test/corpus/HiddenClock/sany.out
- skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit
- skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out
- skills/statechart/scripts/test/corpus/Login/ChartRun.out
- skills/statechart/scripts/test/corpus/Login/Login.cfg
- skills/statechart/scripts/test/corpus/Login/Login.tla
- skills/statechart/scripts/test/corpus/Login/chart.mmd
- skills/statechart/scripts/test/corpus/Login/graph.dot
- skills/statechart/scripts/test/corpus/Login/report.md
- skills/statechart/scripts/test/corpus/Login/sany.out
- skills/statechart/scripts/test/corpus/Login/verdict-1.out
- skills/statechart/scripts/test/corpus/Login/view.mjs
- skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out
- skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg
- skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla
- skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd
- skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot
- skills/statechart/scripts/test/corpus/LoginGuarded/report.md
- skills/statechart/scripts/test/corpus/LoginGuarded/sany.out
- skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out
- skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs
- skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out
- skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg
- skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla
- skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd
- skills/statechart/scripts/test/corpus/LoginParallel/graph.dot
- skills/statechart/scripts/test/corpus/LoginParallel/report.md
- skills/statechart/scripts/test/corpus/LoginParallel/sany.out
- skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit
- skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out
- skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out
- skills/statechart/scripts/test/corpus/LoginParallel/view.mjs
- skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out
- skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg
- skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla
- skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd
- skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot
- skills/statechart/scripts/test/corpus/MediaPlayer/report.md
- skills/statechart/scripts/test/corpus/MediaPlayer/sany.out
- skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit
- skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out
- skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out
- skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs
- skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out
- skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg
- skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla
- skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd
- skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot
- skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md
- skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out
- skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out
- skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs
- skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out
- skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla
- skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg
- skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla
- skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd
- skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot
- skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md
- skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out
- skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit
- skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out
- skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out
- skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out
- skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit
- skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out
- skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit
- skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out
- skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out
- skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs
- skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out
- skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg
- skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla
- skills/statechart/scripts/test/corpus/PickWorker/chart.mmd
- skills/statechart/scripts/test/corpus/PickWorker/graph.dot
- skills/statechart/scripts/test/corpus/PickWorker/report.md
- skills/statechart/scripts/test/corpus/PickWorker/sany.out
- skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out
- skills/statechart/scripts/test/corpus/Shadow/ChartRun.out
- skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg
- skills/statechart/scripts/test/corpus/Shadow/Shadow.tla
- skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla
- skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla
- skills/statechart/scripts/test/corpus/Shadow/chart.mmd
- skills/statechart/scripts/test/corpus/Shadow/graph.dot
- skills/statechart/scripts/test/corpus/Shadow/report.md
- skills/statechart/scripts/test/corpus/Shadow/sany.out
- skills/statechart/scripts/test/corpus/Shadow/verdict-1.out
- skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out
- skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg
- skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla
- skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd
- skills/statechart/scripts/test/corpus/SpacedNames/graph.dot
- skills/statechart/scripts/test/corpus/SpacedNames/report.md
- skills/statechart/scripts/test/corpus/SpacedNames/sany.out
- skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit
- skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out
- skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit
- skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out
- skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out
- skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg
- skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla
- skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd
- skills/statechart/scripts/test/corpus/TwoPhase/graph.dot
- skills/statechart/scripts/test/corpus/TwoPhase/report.md
- skills/statechart/scripts/test/corpus/TwoPhase/sany.out
- skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit
- skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out
- skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out
- skills/statechart/scripts/test/corpus/TwoPhase/view.mjs
- skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out
- skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg
- skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla
- skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd
- skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot
- skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md
- skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out
- skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out
- skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs
- skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit
- skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out
- skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg
- skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla
- skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd
- skills/statechart/scripts/test/corpus/TypeGuard/graph.dot
- skills/statechart/scripts/test/corpus/TypeGuard/report.md
- skills/statechart/scripts/test/corpus/TypeGuard/sany.out
- skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit
- skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out
- skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit
- skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out
- skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out
- skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg
- skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla
- skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd
- skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot
- skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md
- skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out
- skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit
- skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out
- skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit
- skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out
- skills/statechart/scripts/test/differential.test.ts
- skills/statechart/scripts/test/grid/Grid.cfg
- skills/statechart/scripts/test/grid/Grid.tla
- skills/statechart/scripts/test/grid/sany.out
- skills/statechart/scripts/test/java.ts
- skills/statechart/scripts/test/labels.ts
- skills/statechart/scripts/test/messages.test.ts
- skills/statechart/scripts/test/pipeline.test.ts
- skills/statechart/scripts/test/plain-tlc.test.ts
- skills/statechart/scripts/test/render.test.ts
- skills/statechart/scripts/test/tlc-out.test.ts
- skills/statechart/scripts/test/tlc.ts
- skills/statechart/scripts/tsconfig.json
- skills/statechart/scripts/worker.ts
Every link opens the file at its source, pinned to the revision this page describes.