Re: [tlaplus] Missing error trace on invariant violation

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

On 27.09.2017 09:09, lor...@xxxxxxxxx wrote:
> Hi Markus:
>
> It consistently fails to show an error trace, it's perfectly
> reproducible on my machine (screen shot attached)
>
> I'm running:
>
> macOS 10.12.6
> Java version: 1.8.0_131
> Toolbox version: 1.5.3

Hi Lorin,

can you zip up your spec directory and send it to me privately? You can
find out its path by right-clicking the "ConcurrentUpdates"
specification in the Spec Explorer and opening the "Properties".

Thanks

Markus