[tlaplus] Re: tlc invariant violation visualization

["alex.t...@xxxxxxxxx" <alex.timimin@xxxxxxxxx>]

Thanks a lot!

воскресенье, 30 мая 2021 г. в 16:26:29 UTC+3, Afonso Fernandes:

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/cc0cf6b6-01db-45ac-ba01-7850d0e49cf0n%40googlegroups.com.