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

[tlaplus] Opening an Error Trace in the Toolbox

From: "william.schultz via tlaplus" <tlaplus@xxxxxxxxxxxxxxxx>
Date: Thu, 7 Nov 2019 05:06:49 -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 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.

Prev by Date: [tlaplus] Looking for TLA+ module from Lamport's paper
Next by Date: [tlaplus] Open an Error Trace in Toolbox
Previous by thread: [tlaplus] Re: Looking for TLA+ module from Lamport's paper
Next by thread: [tlaplus] Open an Error Trace in Toolbox
Index(es):
- Date
- Thread