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

Re: [tlaplus] TLC didn't display statistics

Hello Amira,

I'm running the Toolbox version 1.4.8 of 25 February 2014 on Mac OS X 10.9.2, and I don't see any change of behavior, see attached screenshot.

Could you describe your problem in a bit more detail (what Toolbox version, what OS, under which circumstances the error appears)?


On 17 Mar 2014, at 11:18, Amira Methni <methni...@xxxxxxxxx> wrote:


After installing the latest updates of TLAToolbox, when I tried to execute a model, the toolbox didn't display state space progress in "Statistics" panel.
It's possible to get these informations from TLC console but it's no more displayed in "Model Checking Result" section.

Is it a bug from latest updates?


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, 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.

PNG image