[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?

From: Ouiza <dou...@xxxxxxxxx>
Date: Tue, 13 Nov 2012 08:26:09 -0800 (PST)
References: <ecefd61d-8fc5-45ea-aeab-93226c8c72e4@googlegroups.com> <7601f2e0-4ad1-4ad8-8560-4c7d3fc56953@googlegroups.com>

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,
Ouiza

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.

HTH
Markus

References:
- How to read the graph generated by TLC? Is there a way to specify its location?
  - From: Ouiza
- Re: How to read the graph generated by TLC? Is there a way to specify its location?
  - From: Markus

Prev by Date: Re: How to read the graph generated by TLC? Is there a way to specify its location?
Next by Date: Re: How to read the graph generated by TLC? Is there a way to specify its location?
Previous by thread: Re: How to read the graph generated by TLC? Is there a way to specify its location?
Next by thread: Re: How to read the graph generated by TLC? Is there a way to specify its location?
Index(es):
- Date
- Thread