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

Re: TLC didn't display statistics

Le lundi 31 mars 2014 22:59:55 UTC+2, Leslie Lamport a écrit :
>    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. 
> Are you aware that it requires at least two point to form a graph, so the window should appear empty unless there are at least 2 lines of statistics? 

No I was not, I was trying the tutorial and didn't think it through, thanks for the clarification :)