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"?
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/lXcW8Z9kjQg/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at http://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.