PexRetryException Class

Definition

Namespace:

Microsoft.Pex.Framework.Exceptions

Assembly:

Microsoft.Pex.Framework.dll

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

C++

public ref class PexRetryException : Microsoft::Pex::Framework::Exceptions::PexException

Inheritance

Exception

PexException

PexRetryException

Attributes

__UncatchableAttribute SerializableAttribute

Constructors

PexRetryException()	Initializes a new instance of the PexRetryException class.
PexRetryException(SerializationInfo, StreamingContext)	Initializes a new instance of the PexRetryException class.
PexRetryException(String, Exception)	Initializes a new instance of the PexRetryException class.
PexRetryException(String)	Initializes a new instance of the PexRetryException class.

Properties

RetryId

Identifier of the point of retry. May be used to detect if we get stuck in a loop. (Each retryid may only be used once in each path.)

Methods

Fail(Object, String, Exception)	Lets IntelliTest retry the current test case
GetObjectData(SerializationInfo, StreamingContext)

Applies to