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