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

Re: How to read the graph generated by TLC? Is there a way to specify its location?

Hi Markus!
Thank you very much, I really appreciate!
I will have a look at your code and be back if I have any question.
Best regards,

On Friday, 9 November 2012 16:10:31 UTC-5, Markus wrote:

On Friday, November 9, 2012 4:52:00 PM UTC+1, Ouiza wrote:
Hi everyone,
I have 2 questions related to the graph generated by TLC in the states directory:
1) Is there any way to read it?

Hi Ouiza,

https://tla.msr-inria.inria.fr/kuppe/org.lamport.tla.toolbox.tool.tlc.ui.trace.zip is the code I hacked a while ago to recreate a visual state graph from the .st file. That might serve as an inspiration.