Re: [tlaplus] Continuous subset of integer range

[Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>]

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