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

[tlaplus] Open an Error Trace in Toolbox

From: William Schultz <wjs255@xxxxxxxxxxx>
Date: Thu, 7 Nov 2019 05:12:28 -0800 (PST)

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.

Follow-Ups:
- Re: [tlaplus] Open an Error Trace in Toolbox
  - From: Markus Kuppe

Prev by Date: [tlaplus] Opening an Error Trace in the Toolbox
Next by Date: Re: [tlaplus] Open an Error Trace in Toolbox
Previous by thread: [tlaplus] Opening an Error Trace in the Toolbox
Next by thread: Re: [tlaplus] Open an Error Trace in Toolbox
Index(es):
- Date
- Thread