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

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

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.