[tlaplus] Re: tlc invariant violation visualization

[Afonso Fernandes <afonsonf42@xxxxxxxxx>]

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.