PgPropertyException
Namespace: Ankus
Assembly: Ankus.Runtime.dll
Reports a property that failed, with the smallest failing input found and the seed that reproduces it.
public sealed class PgPropertyException : Exception, ISerializableInheritance: object, Exception
Implements: ISerializable
Constructors
Section titled “Constructors”PgPropertyException()
Section titled “PgPropertyException()”Creates a property failure without details.
public PgPropertyException()PgPropertyException(string)
Section titled “PgPropertyException(string)”Creates a property failure with a message.
public PgPropertyException(string message)Parameters:
message — string
The message.
PgPropertyException(string, Exception)
Section titled “PgPropertyException(string, Exception)”Creates a property failure with a message and its cause.
public PgPropertyException(string message, Exception innerException)Parameters:
message — string
The message.
innerException — Exception
The failure of the smallest input.
Properties
Section titled “Properties”Gets the smallest failing input found, formatted for display, or empty when no input failed.
public string Input { get; }Value: string
PassedCases
Section titled “PassedCases”Gets the number of cases that passed before the first failure.
public int PassedCases { get; }Value: int
Gets the seed that reproduces the run through Seed.
public ulong Seed { get; }Value: ulong
ShrinkRuns
Section titled “ShrinkRuns”Gets the number of test runs spent shrinking the failing input.
public int ShrinkRuns { get; }Value: int