PexRetryException Class

Reference

Definition

Namespace:: Microsoft.Pex.Framework.Exceptions

Assembly:: Microsoft.Pex.Framework.dll

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.

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

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

[__Uncatchable]
[System.Serializable]
public class PexRetryException : Microsoft.Pex.Framework.Exceptions.PexException

[<__Uncatchable>]
[<System.Serializable>]
type PexRetryException = class
    inherit PexException

Public Class PexRetryException
Inherits 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)	Initializes a new instance of the PexRetryException class.
PexRetryException(String, Exception)	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