using:debugger

Debugger

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

You will need the SVG extension: https://marketplace.visualstudio.com/items?itemName=jock.svg.

  • using/debugger.txt
  • Last modified: 2024/09/29 01:26
  • by fponzi