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