Share via


PexAssumptionFailedExceptionAttribute(Type) Constructor

Definition

Initializes a new instance of the PexAssumptionFailedExceptionAttribute class.

public:
 PexAssumptionFailedExceptionAttribute(Type ^ exceptionType);
public PexAssumptionFailedExceptionAttribute (Type exceptionType);
new Microsoft.Pex.Framework.Exceptions.PexAssumptionFailedExceptionAttribute : Type -> Microsoft.Pex.Framework.Exceptions.PexAssumptionFailedExceptionAttribute
Public Sub New (exceptionType As Type)

Parameters

exceptionType
Type

Type of the exception.

Applies to