Exploration Cleanup
Spec Explorer now includes an exploration cleanup feature, activated by setting the EnableExplorationCleanup switch to true.
The purpose of this feature is to remove duplicated states and steps in an exploration. A state or step is considered a duplicate if it has exactly the same data and future as some other state or step.
Use of exploration cleanup may make the exploration graph cleaner, and reduce redundancy in test cases. However, using it means that the exploration process will take longer, and Spec Explorer will take longer to display the exploration graph.
If exploration cleanup is used, the cleanup is performed after exploration is complete.
Using the Stop button during exploration or exploration cleanup will result in a partial or partially cleaned-up graph being displayed.