[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: sawsan8...@xxxxxxxxx
Date: Sun, 13 Dec 2015 05:25:48 -0800 (PST)
References: <ecefd61d-8fc5-45ea-aeab-93226c8c72e4@googlegroups.com>

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

Follow-Ups:
- Re: How to read the graph generated by TLC? Is there a way to specify its location?
  - From: Leslie Lamport
- Re: How to read the graph generated by TLC? Is there a way to specify its location?
  - From: Y2i
- Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?
  - From: Stephan Merz

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

Prev by Date: Re: "stack" variable name misbehaving
Next by Date: Re: [tlaplus] 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: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?
Index(es):
- Date
- Thread