tlc invariant violation visualization

43 views
Skip to first unread message

alex.t...@gmail.com

unread,
May 30, 2021, 5:14:24 AM5/30/21
to tlaplus

Hello all

I want to produce a .dot file for an error trace generated by invariant violation. Is it possible?
This tool
seems convenient for debugging but it requires a dot file.

Thank in advance.

Afonso Fernandes

unread,
May 30, 2021, 9:26:29 AM5/30/21
to tlaplus
Hello,
There is a tool to work with the .out files produced in an error trace in that repo.
The tool can be accessed by opening the trace-explorer.html in the src folder. There is also a link in the tool to switch between the graph explorer and the trace explorer.

alex.t...@gmail.com

unread,
May 30, 2021, 10:38:21 AM5/30/21
to tlaplus
Thanks a lot!

воскресенье, 30 мая 2021 г. в 16:26:29 UTC+3, Afonso Fernandes:
Reply all
Reply to author
Forward
0 new messages