Table of Contents

Class PropertyAttribute

Namespace
Conjecture.Xunit
Assembly
Conjecture.Xunit.dll

Marks a method as a Conjecture property-based test.

[AttributeUsage(AttributeTargets.Method, AllowMultiple = false)]
[XunitTestCaseDiscoverer("Conjecture.Xunit.Internal.PropertyTestCaseDiscoverer", "Conjecture.Xunit")]
public sealed class PropertyAttribute : FactAttribute
Inheritance
FactAttribute
PropertyAttribute
Inherited Members
FactAttribute.DisplayName
FactAttribute.Skip
FactAttribute.Timeout

Properties

DeadlineMs

Deadline for each test run in milliseconds. 0 means no deadline.

public int DeadlineMs { get; set; }

Property Value

int

ExportReproOnFailure

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

public bool ExportReproOnFailure { get; set; }

Property Value

bool

MaxExamples

Maximum number of examples to generate. Defaults to 100.

public int MaxExamples { get; set; }

Property Value

int

MaxStrategyRejections

Maximum number of times a strategy may reject a value. Defaults to 5.

public int MaxStrategyRejections { get; set; }

Property Value

int

ReproOutputPath

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

public string ReproOutputPath { get; set; }

Property Value

string

Seed

Optional fixed seed for deterministic runs. 0 means use a random seed.

public ulong Seed { get; set; }

Property Value

ulong

Targeting

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

public bool Targeting { get; set; }

Property Value

bool

TargetingProportion

Fraction of MaxExamples budget allocated to the targeting phase. Defaults to 0.5.

public double TargetingProportion { get; set; }

Property Value

double

UseDatabase

Whether to use the example database. Defaults to true.

public bool UseDatabase { get; set; }

Property Value

bool
Edit this page