Re: [tlaplus] Open an Error Trace in Toolbox

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 07.11.19 05:12, William Schultz wrote:
> 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.

Hi Will,

if you run TLC from the command line with the "-tool" parameter, you can
import its output into an existing Toolbox model [1].  The Error Trace
viewer will then open up automatically if the output contains a trace.

Best
Markus

[1]
https://user-images.githubusercontent.com/88777/68412021-614a1080-0140-11ea-80d2-aa08dea55e05.gif

PS: Beware https://github.com/tlaplus/tlaplus/issues/389

-- 
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/ee9d7665-47c0-b9ef-b5fb-546bfb2884b8%40lemmster.de.