Microsoft.Pex.Framework.Domains Namespace

Classes

PexBooleanAsZeroOrOneAttribute

Attribute that makes sure that IntelliTest uses only zero and one as boolean values

PexDomainAttributeBase

Attribute to define the domains of values

PexEnumValuesDefinedAttribute

Attribute that makes sure that IntelliTest uses defined values for a particular enum type

PexNonDefaultDomain

A non-nullable domain

PexZeroMdArrayLowerBoundsAttribute

Attribute that makes sure that IntelliTest uses only zero as the lower bounds of multi-dimensional arrays

Enums

PexDomainTarget

Gets the target of a domain.