Information
The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.

Microsoft.Pex.Framework.Exceptions Namespace

 

ClassDescription
System_CAPS_pubclassPexAssertFailedException

Exception representing a failed test case.

System_CAPS_pubclassPexAssumeFailedException

Internal exception representing a violated assumption.

System_CAPS_pubclassPexAssumptionFailedExceptionAttribute

Registers a custom exception type as an assumption exception

System_CAPS_pubclassPexException

Base class for all Pex exceptions

System_CAPS_pubclassPexInconclusiveException

Exception indicating that a test is inconclusive

System_CAPS_pubclassPexRetryException

Retry exception; thrown when new invariants were found, and new test inputs must be computed before the path is re-executed

System_CAPS_pubclassPexUnverifiableUnsafeMemoryAccessException

Pex unverifiable unsafe memory access exception

System_CAPS_pubclassTraceAssertionException

Exception thrown by the Trace methods

Return to top
Show: