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

Re: [tlaplus] Missing error trace on invariant violation

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".