Microsoft.Pex.Framework.Packages Namespace

Classes

PexExecutionPackageAttributeBase

Abstract base class for exploration decorator attributes

PexExplorationPackageAttributeBase

Abstract base class for exploration decorator attributes

PexPackageAssemblyAttribute

An attribute that specifies an assembly containing additional packages

PexPackageAttributeBase

Abstract base class for exploration decorator attributes

PexPackageTypeAttribute

Internal use only

PexPathPackageAttributeBase

Abstract base class for exploration decorator attributes