Show pageOld revisionsBacklinksBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== 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?}} using/debugger.txt Last modified: 2024/09/28 23:26by fponzi