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

TLC didn't display statistics


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?