Table of Contents

Class Target

Namespace
Conjecture.Core
Assembly
Conjecture.Core.dll

Provides targeting helpers to guide property test generation toward interesting input regions.

public static class Target
Inheritance
Target
Inherited Members

Methods

Maximize(double, string)

Records a numeric observation to maximize during the targeting phase.

public static void Maximize(double observation, string label = "default")

Parameters

observation double

The value to maximize. Must be finite (not NaN or Infinity).

label string

Identifies this metric. Multiple labels are optimized independently.

Minimize(double, string)

Records a numeric observation to minimize during the targeting phase.

public static void Minimize(double observation, string label = "default")

Parameters

observation double

The value to minimize. Must be finite (not NaN or Infinity).

label string

Identifies this metric. Multiple labels are optimized independently.