Class ConjectureException

Namespace

Conjecture.Core

Assembly

Conjecture.Core.dll

Thrown when a Conjecture health check fails (e.g., too many unsatisfied assumptions).

public sealed class ConjectureException : Exception, ISerializable

Inheritance

object

Exception

ConjectureException

Implements

ISerializable

Inherited Members

Exception.GetBaseException()

Exception.GetType()

Exception.ToString()

Exception.Data

Exception.HelpLink

Exception.HResult

Exception.InnerException

Exception.Message

Exception.Source

Exception.StackTrace

Exception.TargetSite

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.ReferenceEquals(object, object)

Constructors

ConjectureException(string)

Thrown when a Conjecture health check fails (e.g., too many unsatisfied assumptions).

public ConjectureException(string message)

Parameters

message string