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

Re: [tlaplus] TLC Invariant violation not showing state steps in Error Trace window

On 10.11.20 20:35, Ashish Negi wrote:
> Hi
> When TLC finds a failure for invariant X, i don't see anything in Error
> Trace window ?
> This is happening sometimes. I tried manipulating my spec to fail on
> some other condition and then TLC generates the error trace correctly.
> Is this bug in TLC or some other issue ?
> Thanks
> Ashish

Hi Ashish,

please open an issue [1] with the spec & model attached.


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

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/83ed56fe-f458-d1e3-6928-b91fdeeb5186%40lemmster.de.