Class PropertyAttribute

Namespace

Conjecture.Xunit.V3

Assembly

Conjecture.Xunit.V3.dll

Marks a method as a Conjecture property-based test (xUnit v3).

[AttributeUsage(AttributeTargets.Method, AllowMultiple = false)]
[XunitTestCaseDiscoverer(typeof(PropertyTestCaseDiscoverer))]
public sealed class PropertyAttribute : FactAttribute, IFactAttribute

Inheritance

object

Attribute

FactAttribute

PropertyAttribute

Implements

IFactAttribute

Inherited Members

FactAttribute.DisplayName

FactAttribute.Explicit

FactAttribute.Skip

FactAttribute.SkipExceptions

FactAttribute.SkipType

FactAttribute.SkipUnless

FactAttribute.SkipWhen

FactAttribute.SourceFilePath

FactAttribute.SourceLineNumber

FactAttribute.Timeout

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()

Constructors

PropertyAttribute(string?, int)

Marks a method as a Conjecture property-based test (xUnit v3).

public PropertyAttribute(string? sourceFilePath = null, int sourceLineNumber = -1)

Parameters

sourceFilePath string

sourceLineNumber int

Properties

DeadlineMs

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

public int DeadlineMs { get; set; }

Property Value

int

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

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