Microsoft.Pex.Framework.Explorable Namespace

Classes

PexCrossProductExplorableStrategyAttribute	Generates a sequence of test from a systematic cross-product of api calls. This is the default strategy.
PexExplorableAttributeBase	Attribute to define how instances of a particular type can be created by exploring a (parameterized) method
PexExplorableFromConstructorAndSettersAttribute	Explorable from constructor and setters
PexExplorableFromConstructorAttribute	Attribute to define how instances of a particular type can be created by using property setters and setter methods to set field values
PexExplorableFromFactoriesAttributeBase	Attribute that scans an assembly for methods marked by PexFactoryMethodAttribute located in static types.
PexExplorableFromFactoriesFromAssemblyAttribute	Attribute that scans an assembly for methods marked by PexFactoryMethodAttribute located in static types.
PexExplorableFromFactoriesFromTypeAttribute	Attribute that scans an assembly for methods marked by PexFactoryMethodAttribute located in a static types.
PexExplorableFromMethodAttribute	Attribute to define how instances of a particular type can be created by using property setters and setter methods to set field values
PexExplorableGuesserAttributeBase	Abstract base class to define new Microsoft.Pex.Engine.Explorable.IPexExplorableGuesser implementations
PexExplorableMutatorAttribute	Attribute to define how instances of a particular type can be mutated by exploring a (parameterized) instance method
PexExplorableStrategyAttributeBase	Abstract base class for attributes implementing the Microsoft.Pex.Engine.Explorable.IPexExplorableStrategy
PexInvariant	Helper method to create instances of types which have a contract invariant method
PexRandomExplorableStrategyAttribute	Generates random sequences of mutators within bounds.