[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?
On Friday, November 9, 2012 4:52:00 PM UTC+1, Ouiza wrote:
I have 2 questions related to the graph generated by TLC in the states directory:
1) Is there any way to read it?
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.