Microsoft.Pex.Framework.Metrics Namespace

Classes

PexAssertMethodAttribute

Attribute to register a method as an assert method