Re: TLC didn't display statistics

My Toolbox version is 1.4.8 of 25 February 2014. And I'm running it into Ubuntu 12.04 (64-bit version).

I tried to remove the toolbox and reinstall a new version (also the 1.4.8) and the problem persists (see the screenshot attached).

Le lundi 17 mars 2014 11:18:07 UTC+1, Amira Methni a écrit :

Hi,

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?

Thanks