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

[victor.n...@xxxxxxxxx]

And I may add that running the toolbox with "LANG=en_GB.UTF-8" do solve the problem (the exception gave me a clue ;)

Le lundi 24 mars 2014 07:59:20 UTC+1, Markus Alexander Kuppe a écrit :
> 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