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)?
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.