Browsing Steps and States
The Exploration Graph Viewer provides a number of tools for detailed examination of the steps and states shown in the exploration graph for a given machine.
Browsing a Step
To browse a given step in the exploration graph, click the step to select it.
Spec Explorer displays the Step Browser window, which contains a description of the step, including the action taken.
Browsing a State
To browse a given state in the exploration graph, click the state to select it.
Spec Explorer displays the State Browser window, which contains a description of the state, including the values of all variables in the state.
Comparing Two States
To compare two states, select the first state. Then, right-click the second state, and select Compare with selected state.
Spec Explorer displays the State Comparison window, which lists the similarities and differences between both states.