====== Debugger ======

TLA+ tools come with a debugger that allow you to debug your specifications. See it in action:

{{youtube>x6u8LYSso6s?}}
{{youtube>DsfbdsE4hJ0?}}

===== Graphical and time-traveling debugging =====

You will need the SVG extension: https://marketplace.visualstudio.com/items?itemName=jock.svg.
{{youtube>IO9ik850i0M?}}