Exploration Packages

An exploration packages is only active during particular explorations. Packages are installed by special attributes that decoratetest generators. They are designed to execute some code when Pex' exploration components are loaded, and before and after each test case Pex generates.

For example, such a package may check the resulting coverage.

By interacting with Pex' exception validator component, an exploration package may implement an effect similar to the ExpectedExceptionAttribute in other test frameworks.