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

I have finally put a list of all TLC command-line options on the current TLA+ web site at:


That page is reachable through a link on the TLC page, which is reachable by a link on the TLA+ Tools page.  You will find there a -dump option that writes all the states that TLC finds to a file. 


On Sunday, December 13, 2015 at 6:35:12 AM UTC-8, ... wrote:
I am working on TLA in order to analyze the filters in Dynamic networks, how can I see the states and the results of TLC models checking if there no error trace>
Second question: I am working on windows not linux, is that  a reason for not finding TLC Trace viewer? cause I dwonloaded the zip file but still I could not find a way to see the results or save it
Thank you in advance