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?
fr/kuppe/org.lamport.tla.is the code I hacked a while ago to recreate a visual state graph from the .st file. That might serve as an inspiration. toolbox.tool.tlc.ui.trace.zip