Re: [tlaplus] TLA+ Toolbox 1.5.3 not displaying error trace

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 03.05.2017 22:46, Andrew Helwer wrote:
> I installed 1.5.3, and on a fairly complicated spec it does not
> display the error trace in the GUI:

Hi Andrew,

I opened an issue on Github [1] to track progress. Please attach the
corresponding spec and model to the issue or send it to me privately.

Thanks
Markus

[1] https://github.com/tlaplus/tlaplus/issues/47