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

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.


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.

Maneet Bansal

Attachment: tla_error_snapshot.png
Description: PNG image