[tlaplus] Is there a way to dump error trace as a dot format file?

[Benedict Xu <gonadarush@xxxxxxxxx>]

I checked current-tools.pdf but didn't find such an option.

I also didn't find such an option on the TLC model checking results page.

The full dot format file is usually quite big. From time to time, I'm just interested in graphviz the error trace and share it with other folks easily.

Maybe there is a way to get the error trace from the full dot format dump?

-- 
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/ec6c2307-1957-490b-9543-5628e7bebc53n%40googlegroups.com.