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

Re: [tlaplus] How to identify which temporal property is violated ?

On 22.03.20 18:47, Narayanan Family wrote:
> In my config file I have many temporal properties (under PROPERTY). One
> of them was violated. Is there a way to find out which one (short of
> running tlc with one property at a time) ?

https://github.com/tlaplus/tlaplus/issues/225 tracks this issue and
outlines a workaround that doesn't require to check the complete model
for each property.

Hope this helps,

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/15760de2-1f6c-0092-61f6-d17fffff912c%40lemmster.de.