ShrinkingPolicy enum

An enum that represents the policy for controlling the number of times an example is attempted to be shrunk by the shrinker. This policy dictates how the shrinker operates in terms of attempting to find simpler failing examples.

Inheritance

• Object
• Enum
• ShrinkingPolicy

Available extensions

• EnumName

Values

off → const ShrinkingPolicy

No shrinking will be performed.

bounded → const ShrinkingPolicy

The shrinker will attempt to shrink an example a fixed number of times, as specified by the maxShrinkingTries of KiriCheck and forAll. This provides a bounded shrinking process, where the number of shrinking attempts is limited to prevent excessive computation time. The default value for attempts is 100.

full → const ShrinkingPolicy

The shrinker will attempt to shrink an example until a specified timeout is reached, allowing for an exhaustive search for the simplest failing example within the time constraint. This mode enables the shrinker to continuously try reducing the example as much as possible, potentially leading to more insightful simplifications at the cost of longer execution time.

Properties

hashCode → int

The hash code for this object.

no setter, inherited

index → int

A numeric identifier for the enumerated value.

no setter, inherited

name → String

Available on Enum, provided by the EnumName extension

The name of the enum value.

no setter

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited

Constants

values → const List<ShrinkingPolicy>

A constant List of the values in this enum, in order of their declaration.