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

Re: [tlaplus] How to define a Sorted Array

From: Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Thu, 25 Jun 2015 13:31:58 +0200
References: <d5ce7281-3521-4201-af5e-c1167d74b9ff@googlegroups.com> <7D0E1C41-ED2A-4E53-AEAB-6142A8A649E8@gmail.com> <31f98a01-30d5-46b1-a1ef-c006f9b32d52@googlegroups.com>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0

On 25.06.2015 13:09, Piyush Bansal wrote:
> Now I am facing some different problem: no user output is printed and
> statistics also show everything as zero.
> 
> You can check that attached file. 
> 

Hi Piyush,

your spec and a newly created model work fine here. Try creating a new
model on your end and see if TLC checks it. For your current broken
model, what is printed on the "TLC console"?

Best,
Markus

Follow-Ups:
- Re: [tlaplus] How to define a Sorted Array
  - From: Piyush Bansal

References:
- How to define a Sorted Array
  - From: Piyush Bansal
- Re: [tlaplus] How to define a Sorted Array
  - From: Stephan Merz
- Re: [tlaplus] How to define a Sorted Array
  - From: Piyush Bansal

Prev by Date: Re: [tlaplus] How to define a Sorted Array
Next by Date: Re: [tlaplus] How to define a Sorted Array
Previous by thread: Re: [tlaplus] How to define a Sorted Array
Next by thread: Re: [tlaplus] How to define a Sorted Array
Index(es):
- Date
- Thread