Class PropertyAttribute

Namespace

Conjecture.NUnit

Assembly

Conjecture.NUnit.dll

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

[AttributeUsage(AttributeTargets.Method, AllowMultiple = false)]
public sealed class PropertyAttribute : NUnitAttribute, ITestBuilder, IWrapTestMethod, ICommandWrapper

Inheritance

object

Attribute

NUnitAttribute

PropertyAttribute

Implements

ITestBuilder

IWrapTestMethod

ICommandWrapper

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

Database

Whether to use the example database. Defaults to true.

public bool Database { get; set; }

Property Value

bool

DeadlineMs

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

public int DeadlineMs { get; set; }

Property Value

int

ExportReproductionOnFailure

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

public bool ExportReproductionOnFailure { 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

ReproductionOutputPath

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

public string ReproductionOutputPath { 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