PexAssumeFailedException Class

Definition

Internal exception representing a violated assumption.

public ref class PexAssumeFailedException : Microsoft::Pex::Framework::Exceptions::PexException
[__Uncatchable]
[System.Serializable]
public class PexAssumeFailedException : Microsoft.Pex.Framework.Exceptions.PexException
[<__Uncatchable>]
[<System.Serializable>]
type PexAssumeFailedException = class
    inherit PexException
Public Class PexAssumeFailedException
Inherits PexException
Inheritance
PexAssumeFailedException
Attributes
__UncatchableAttribute SerializableAttribute

Constructors

PexAssumeFailedException()

Creates an instance of this class.

PexAssumeFailedException(SerializationInfo, StreamingContext)

Creates an instance of this class.

PexAssumeFailedException(String)

Creates an instance of this class.

PexAssumeFailedException(String, Exception)

Creates an instance of this class.

Applies to