Share via

Working with the Solution

To launch the Exploration Manager (shown below) choose Exploration Manager in Visual Studio’s Spec Explorer menu.

Exploration Manager Pane 1

The Exploration Manager is used for most of the functions of Spec Explorer. The list in the Exploration Manager panel shows all available machines for this project. A machine is the unit of exploration. It describes permitted sequences of actions as defined by a behavioral expression and the Cord configurations it is based on. Selecting a machine in this panel allows operations like validation, exploration, and test generation. Double-clicking on a machine in this list opens the Cord file containing the machine definition.

See Also


Using Spec Explorer for the First Time