Share via


PexRaisedExceptionAttribute.ExceptionState Property

Definition

Gets the state of the exception.

public:
 property Microsoft::Pex::Engine::Exceptions::PexExceptionState ExceptionState { Microsoft::Pex::Engine::Exceptions::PexExceptionState get(); };
public Microsoft.Pex.Engine.Exceptions.PexExceptionState ExceptionState { get; }
member this.ExceptionState : Microsoft.Pex.Engine.Exceptions.PexExceptionState
Public ReadOnly Property ExceptionState As PexExceptionState

Property Value

Microsoft.Pex.Engine.Exceptions.PexExceptionState

The state of the exception.

Implements

Applies to