Re: [tlaplus] Continuous subset of integer range

Hi Markus,

I have added the inline comments only in the mail. Just to make it easier for the reader to understand. These are not there in the spec. I have attached the actual snapshot for clarity.

Are you saying TLC is giving you the expected output (on fixing the line breaks)? I am using version 1.5.7 of the ToolBox. Which one are you using?

On Wed, Aug 1, 2018 at 10:03 PM, Markus Kuppe <tlaplus-go...@xxxxxxxxxxx> wrote:

On 01.08.2018 21:04, Maneet Bansal wrote:
> The output I am getting is
>
> {s \in {{}, {1}, {2}, {3}, {4}, {1, 2}, {1, 3}, {1, 4}, {2, 3}, {2, 4},
> {3, 4}, {1, 2, 3}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}, {1, 2, 3, 4}} :
> <_expression_ line 11, col 27 to line 12, col 428 of module MC> }

Hi Maneet,

might it be possible that your predicate of the set comprehension is
syntactically garbled (try to remove the nested comments)? I copy/pasted
it from your email and had to fix the line breaks for TLC to correctly
evaluate it.

Thanks
Markus

--
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@googlegroups.com.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.

Regards
Maneet Bansal