Re: How to read the graph generated by TLC? Is there a way to specify its location?

[sawsan8...@xxxxxxxxx]

On Sunday, December 13, 2015 at 6:05:32 PM UTC+2, Y2i 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>
> 
> 
> 
> 
> Sometimes I deliberately introduce an error in a spec, like a type invariant violation, to let Toolbox display the sequence of states that leads to the error.
> 
> 
> Regards,
> Yuri

Hell Yuri
Thnak  for your Reply, I do the same thing with the model I am working on it