[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: Markus <tlaplus-go...@xxxxxxxxxxx>
Date: Fri, 9 Nov 2012 13:10:31 -0800 (PST)
References: <ecefd61d-8fc5-45ea-aeab-93226c8c72e4@googlegroups.com>

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

Follow-Ups:
- Re: 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: Ouiza

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

Prev by Date: Re: [tlaplus] 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: [tlaplus] 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