Differences

This shows you the differences between two versions of the page.

--- using:debugger [2024/09/28 15:58] – created - external edit 127.0.0.1
+++ using:debugger [2024/09/28 23:26] (current) – fponzi
@@ Line 3: / Line 3: @@
 TLA+ tools come with a debugger that allow you to debug your specifications. See it in action:
-<HTML>
+{{youtube>x6u8LYSso6s?}}
-<iframe width="1333" height="485" src="https://www.youtube.com/embed/x6u8LYSso6s" title="TLA+ Debugger:  Force violation of artificial invariant with &#39;violate&#39; debugger command" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" referrerpolicy="strict-origin-when-cross-origin" allowfullscreen>
+{{youtube>DsfbdsE4hJ0?}}
-</iframe>
-<iframe width="1917" height="806" src="https://www.youtube.com/embed/DsfbdsE4hJ0" title="The TLA+ Debugger" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" referrerpolicy="strict-origin-when-cross-origin" allowfullscreen>
+===== Graphical and time-traveling debugging =====
-</iframe>
-</HTML>
-===== graphical and time-traveling debugging =====
 You will need the SVG extension: https://marketplace.visualstudio.com/items?itemName=jock.svg.
+{{youtube>IO9ik850i0M?}}
-<HTML>
-<iframe width="1917" height="806" src="https://www.youtube.com/embed/IO9ik850i0M" title="Graphical and time-traveling debugging for TLA+" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" referrerpolicy="strict-origin-when-cross-origin" allowfullscreen>
-</iframe>
-</HTML>