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.
Leslie
On Sunday, December 13, 2015 at 6:35:12 AM UTC-8, ... wrote:
Hello
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