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