[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Debug variables and VIEW
On Mon, 5 Nov 2018 at 19:40, Markus Kuppe
> this is because you combine a view statement with symmetry reduction. Can you open an enhancement request on GitHub ?
I wasn't aware of this. Does it have any other side-effects like not
checking the relevant states or it's just a performance aspect?
I'll raise an enhancement request.