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

*From*: Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>*Date*: Wed, 1 Aug 2018 22:23:47 -0700*References*: <0d952da0-3e9c-4d8a-85e2-bfeb743e9b03@googlegroups.com> <8a4d604c-457f-b1bd-79bf-b9cf23006a65@lemmster.de> <CANdVqszY5qGVhhMgNNzftJvScRmC8Tj7Pyc2GOqWWicUxV=vow@mail.gmail.com>

On 01.08.2018 22:14, Maneet Bansal wrote: > 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? Yes, TLC correctly evaluates the expression with 1.5.7 (on Linux). Please send me your complete spec directory privately, for me to try and reproduce your problem locally (select the spec in the Spec Explorer to see the spec's location in the Toolbox's status line at the bottom). Thanks Markus

**References**:**Continuous subset of integer range***From:*Maneet Bansal

**Re: [tlaplus] Continuous subset of integer range***From:*Markus Kuppe

**Re: [tlaplus] Continuous subset of integer range***From:*Maneet Bansal

- Prev by Date:
**Re: [tlaplus] Continuous subset of integer range** - Next by Date:
**Re: Continuous subset of integer range** - Previous by thread:
**Re: [tlaplus] Continuous subset of integer range** - Next by thread:
**Re: Continuous subset of integer range** - Index(es):