Partager via


Microsoft.Pex.Framework.Exceptions Namespace

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