[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Missing error trace on invariant violation
On Wednesday, September 27, 2017 at 12:29:02 AM UTC-7, Markus Alexander Kuppe wrote:
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
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".
I sent it privately early today. Let me know if you didn't receive it, I know that some spam filters will block out zip attachments.