Re: [tlaplus] Re: TLC didn't display statistics

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 03/17/2014 06:00 PM, Amira Methni wrote:
> 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).

Hi Amira,

can you post the content of the toolbox's log file? It is located in
"workspace/.metadata/.log" inside the toolbox's installation folder. It
might tell us why the toolbox doesn't show the state space progress.

Btw. on Ubuntu 12.10 64bit, the toolbox 1.4.8 shows states just fine.

Thanks
Markus