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

[victor.n...@xxxxxxxxx]

But still the graph does not appear when clicking on one of the header of the state space table.
Well a window appears, but it is empty.

(Sorry, I keep discovering things after sending messages, but I think I am done now :)

Le samedi 29 mars 2014 10:22:34 UTC+1, victo...@xxxxxxxxx a écrit :
> 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