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

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

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.

Thanks,
Markus

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