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.

See Also



Show: