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

Re: [tlaplus] Debug variables and VIEW

From: Catalin Marinas <catalin...@xxxxxxxxx>
Date: Tue, 6 Nov 2018 10:19:44 +0000
References: <625dd1d4-077b-44c0-938f-4cde31a65a83@googlegroups.com> <54d21af7-db21-ac57-1f35-ed621d478d1e@lemmster.de>

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.

-- 
Catalin

References:
- Debug variables and VIEW
  - From: Catalin Marinas
- Re: [tlaplus] Debug variables and VIEW
  - From: Markus Kuppe

Prev by Date: Re: [tlaplus] Debug variables and VIEW
Next by Date: An issue about coverage information
Previous by thread: Re: [tlaplus] Debug variables and VIEW
Next by thread: An issue about coverage information
Index(es):
- Date
- Thread