How to identify which temporal property is violated ?

[Narayanan Family]

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) ?

[Markus Kuppe]

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,
Markus