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
| Class | Description | |
|---|---|---|
![]() | PexAssertFailedException | Exception representing a failed test case. |
![]() | PexAssumeFailedException | Internal exception representing a violated assumption. |
![]() | PexAssumptionFailedExceptionAttribute | Registers a custom exception type as an assumption exception |
![]() | PexException | Base class for all Pex exceptions |
![]() | PexInconclusiveException | Exception indicating that a test is inconclusive |
![]() | PexRetryException | Retry exception; thrown when new invariants were found, and new test inputs must be computed before the path is re-executed |
![]() | PexUnverifiableUnsafeMemoryAccessException | Pex unverifiable unsafe memory access exception |
![]() | TraceAssertionException | Exception thrown by the Trace methods |
Show:
