Skip to content
This repository has been archived by the owner on Oct 28, 2024. It is now read-only.

Commit

Permalink
Debugger video
Browse files Browse the repository at this point in the history
  • Loading branch information
@FedericoPonzi
FedericoPonzi committed Jun 14, 2024
1 parent 4b36ccc commit 4f1c02a
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions src/using/debugger.md
View file
Original file line number Diff line number Diff line change
@@ -1 +1,4 @@
# Debugger
TLA+ tools come with a debugger that allow you to debug your specifications. See it in action:

<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></iframe>

0 comments on commit 4f1c02a

Please sign in to comment.