Class ConjectureSettings

Namespace

Conjecture.Core

Assembly

Conjecture.Core.dll

Immutable configuration settings for a Conjecture property test.

public record ConjectureSettings : IEquatable<ConjectureSettings>

Inheritance

object

ConjectureSettings

Implements

IEquatable<ConjectureSettings>

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Properties

DatabasePath

Path to the example database directory. Defaults to .conjecture/examples/.

public string DatabasePath { get; init; }

Property Value

string

Deadline

Optional deadline for each test run. When null no deadline is enforced.

public TimeSpan? Deadline { get; init; }

Property Value

TimeSpan?

ExportReproOnFailure

Whether to export a reproduction file on test failure. Defaults to false.

public bool ExportReproOnFailure { get; init; }

Property Value

bool

Logger

Logger for structured test-run output. Defaults to Instance.

public ILogger Logger { get; init; }

Property Value

ILogger

MaxExamples

Maximum number of examples to generate. Must be greater than 0. Defaults to 100.

public int MaxExamples { get; init; }

Property Value

int

MaxStrategyRejections

Maximum number of times a strategy may reject a value. Must be non-negative. Defaults to 5.

public int MaxStrategyRejections { get; init; }

Property Value

int

MaxUnsatisfiedRatio

Maximum ratio of unsatisfied assumptions. Must be non-negative. Defaults to 200.

public int MaxUnsatisfiedRatio { get; init; }

Property Value

int

ReproOutputPath

Output path for exported reproduction files. Defaults to .conjecture/repros/.

public string ReproOutputPath { get; init; }

Property Value

string

Seed

Optional fixed seed for the PRNG. When null a random seed is used.

public ulong? Seed { get; init; }

Property Value

ulong?

Targeting

Whether to run a targeting phase after generation. Defaults to true.

public bool Targeting { get; init; }

Property Value

bool

TargetingProportion

Fraction of MaxExamples budget allocated to the targeting phase. Must be in [0.0, 1.0). Defaults to 0.5.

public double TargetingProportion { get; init; }

Property Value

double

UseDatabase

Whether to use the example database. Defaults to true.

public bool UseDatabase { get; init; }

Property Value

bool