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

Re: [tlaplus] Debug variables and VIEW

Hi Markus,

On Mon, 5 Nov 2018 at 19:40, Markus Kuppe
<tlaplus-go...@xxxxxxxxxxx> wrote:
> this is because you combine a view statement with symmetry reduction.  Can you open an enhancement request on GitHub [1]?

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.