Searching for States
Spec Explorer provides a state search feature that can help locate particular states or types of states in large exploration graphs. This is particularly useful when using probe values as state labels.
To start a state search, you must have an exploration graph open in the Graph Viewer. Click the Find States button to bring up a search pane.
A state search matches against the state labels displayed in each state in the graph. Types of states to search are selected through the Look In drop-down menu. If no text is entered in the Find what window, all states of the selected type are available for highlighting (using the Highlight All button) or to the Find Next button.
State searches are substring searches. Thus a search for 2 finds states with labels that contain a 2 anywhere in the label.
Spec Explorer searches states in the order in which it added the states to the exploration graph.
To find states that were added to the graph later than the currently selected state, click Find Next.
If the Search up checkbox is selected, Find Next returns a previous state, instead of a subsequent state.