共用方式為


Microsoft.Pex.Framework.Goals Namespace

Classes

PexExpectedNullParameterThrowsArgumentNullExceptionAttribute

Attributes that specifies that each reference argument of the method under test should yield a passing test case throwing an ArgumentNullException, who's message contains the argument name.

PexExplorationGoalAttributeBase

Abstract base attribute for goals