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

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

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.


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