[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

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

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.