Class ConjectureSettingsAttribute

Namespace

Conjecture.Core

Assembly

Conjecture.Core.dll

Assembly-level attribute to configure default settings for all property tests in the assembly.

[AttributeUsage(AttributeTargets.Assembly, AllowMultiple = false)]
public sealed class ConjectureSettingsAttribute : Attribute

Inheritance

object

Attribute

ConjectureSettingsAttribute

Inherited Members

Attribute.Equals(object)

Attribute.GetCustomAttribute(Assembly, Type)

Attribute.GetCustomAttribute(Assembly, Type, bool)

Attribute.GetCustomAttribute(MemberInfo, Type)

Attribute.GetCustomAttribute(MemberInfo, Type, bool)

Attribute.GetCustomAttribute(Module, Type)

Attribute.GetCustomAttribute(Module, Type, bool)

Attribute.GetCustomAttribute(ParameterInfo, Type)

Attribute.GetCustomAttribute(ParameterInfo, Type, bool)

Attribute.GetCustomAttributes(Assembly)

Attribute.GetCustomAttributes(Assembly, bool)

Attribute.GetCustomAttributes(Assembly, Type)

Attribute.GetCustomAttributes(Assembly, Type, bool)

Attribute.GetCustomAttributes(MemberInfo)

Attribute.GetCustomAttributes(MemberInfo, bool)

Attribute.GetCustomAttributes(MemberInfo, Type)

Attribute.GetCustomAttributes(MemberInfo, Type, bool)

Attribute.GetCustomAttributes(Module)

Attribute.GetCustomAttributes(Module, bool)

Attribute.GetCustomAttributes(Module, Type)

Attribute.GetCustomAttributes(Module, Type, bool)

Attribute.GetCustomAttributes(ParameterInfo)

Attribute.GetCustomAttributes(ParameterInfo, bool)

Attribute.GetCustomAttributes(ParameterInfo, Type)

Attribute.GetCustomAttributes(ParameterInfo, Type, bool)

Attribute.GetHashCode()

Attribute.IsDefaultAttribute()

Attribute.IsDefined(Assembly, Type)

Attribute.IsDefined(Assembly, Type, bool)

Attribute.IsDefined(MemberInfo, Type)

Attribute.IsDefined(MemberInfo, Type, bool)

Attribute.IsDefined(Module, Type)

Attribute.IsDefined(Module, Type, bool)

Attribute.IsDefined(ParameterInfo, Type)

Attribute.IsDefined(ParameterInfo, Type, bool)

Attribute.Match(object)

Attribute.TypeId

object.Equals(object, object)

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Properties

DatabasePath

Path to the example database directory.

public string DatabasePath { get; init; }

Property Value

string

MaxExamples

Maximum number of examples to generate.

public int MaxExamples { get; init; }

Property Value

int

MaxStrategyRejections

Maximum number of times a strategy may reject a value.

public int MaxStrategyRejections { get; init; }

Property Value

int

MaxUnsatisfiedRatio

Maximum ratio of unsatisfied assumptions.

public int MaxUnsatisfiedRatio { get; init; }

Property Value

int

Targeting

Whether to run a targeting phase after generation.

public bool Targeting { get; init; }

Property Value

bool

TargetingProportion

Fraction of MaxExamples budget allocated to the targeting phase.

public double TargetingProportion { get; init; }

Property Value

double

UseDatabase

Whether to use the example database.

public bool UseDatabase { get; init; }

Property Value

bool

Methods

Apply(ConjectureSettings)

Returns a ConjectureSettings with explicitly-set values overriding baseline.

public ConjectureSettings Apply(ConjectureSettings baseline)

Parameters

baseline ConjectureSettings

Returns

ConjectureSettings