Share via


Microsoft.Pex.Framework.Domains Namespace

Classes

Name Description
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

Name Description
PexDomainTarget

Gets the target of a domain.