[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 :)