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

[tlaplus] Open an Error Trace in Toolbox

Is it possible to open a textual error trace generated by TLC in the Toolbox's Error Trace viewer? Sometimes I run TLC from the command line and then want to view the error trace in a nicer UI. It would also make it easier to share traces, since people could open up the trace in the Toolbox instead of reading through the raw text.

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/8303a704-2b95-45fd-890a-ee10dc739b9b%40googlegroups.com.