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

[tlaplus] Opening an Error Trace in the 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 I want to view the error trace it generates. Having this ability could also make it easier to share around textual error traces with others since they could open the error trace in the Toolbox instead of reading 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/58a8fae4-7c20-4350-948a-09b6ea4eb1d2%40googlegroups.com.