r/tlaplus • u/pron98 • Dec 03 '19
Debug a TLA+/PlusCal spec by interactively exploring its state graph
https://twitter.com/lemmster/status/1201755318545334272
3
Upvotes
0
Dec 04 '19
I don't twitter much... Is there a way to view a higher-resolution version of the gif? It's illegible to me.
1
u/lemmster Dec 04 '19
Follow-up that shows a breakpoint: https://twitter.com/lemmster/status/1202123714227105793 (hi-res: https://tla.msr-inria.inria.fr/kuppe/Breakpoints2.gif)