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

Re: [tlaplus] How to define a Sorted Array

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"?