共用方式為


Microsoft.Pex.Framework.TestGeneration Namespace

Classes

PexAssertExcludeTypeAttribute

Attribute that excludes members from a particular type to be asserted

PexAssertionFilterAttributeBase

Base class for attribute creating IPexAttributeFilter instances

PexTestNamerAttributeBase

Abstract base attribute to define and register new Microsoft.Pex.Engine.TestGeneration.IPexTestNamer implementations