PgPropertyOptions
Namespace: Ankus
Assembly: Ankus.Runtime.dll
Configures a PgPropertyRunner, with proptest’s defaults.
public sealed class PgPropertyOptionsInheritance: object
Constructors
Section titled “Constructors”PgPropertyOptions()
Section titled “PgPropertyOptions()”public PgPropertyOptions()Properties
Section titled “Properties”Gets the number of passing cases a run requires; the default is 256.
public int Cases { get; init; }Value: int
MaxRejects
Section titled “MaxRejects”Gets the most cases Where(Func<T, bool>) may reject before the run fails; the default is 1,024.
public int MaxRejects { get; init; }Value: int
MaxShrinkRuns
Section titled “MaxShrinkRuns”Gets the most test runs spent shrinking a failing input; the default is 4,096 and zero reports the first failing input unchanged.
public int MaxShrinkRuns { get; init; }Value: int
Gets the seed that selects the inputs, or null for a new random seed on each run.
public ulong? Seed { get; init; }Value: ulong?
A failure reports its seed. Set it here to replay the same inputs while investigating.