[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: tlc invariant violation visualization



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.

A domingo, 30 de maio de 2021 à(s) 10:14:24 UTC+1, alex.t...@xxxxxxxxx escreveu:

Hello all

I want to produce a .dot file for an error trace generated by invariant violation. Is it possible?
This tool
https://github.com/afonsonf/tlaplus-graph-explorer
seems convenient for debugging but it requires a dot file.

Thank in advance.

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/0b51ca7b-97de-4978-ab01-f61b3d3df5c3n%40googlegroups.com.