Microsoft.Pex.Framework.Exceptions Namespace
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
Classes
| 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 IntelliTest 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 |
IntelliTest unverifiable unsafe memory access exception |
| TraceAssertionException |
Exception thrown by the Trace methods |