Phase

Rasuvaeff\PropertyTesting\Runner\Phase

Enum — Package: property-testing-core — Source — Version: v1.0.0-1-g88fdee2

Implements: UnitEnum

The stages of one property run, as an explicit set rather than a fixed sequence. Selecting a subset trades coverage for time on purpose: replaying only the corpus and the pinned examples turns a minutes-long suite into a seconds-long pull-request gate, and dropping self::Corpus measures a property honestly without deleting the recorded regressions to do it.

Whatever the subset, the stages that do run keep this order.

Constants

Constant	Type	Value	Description
Examples	Runner\Phase		The fixed argument tuples of PropertyDefinition::$examples.
Corpus	Runner\Phase		Replay of the recorded regressions. Composes with PropertyDefinition::$replayRegressions as an AND — either one switching it off is enough. Gates replay only: a fresh falsification is still recorded, because storing is not a phase.
Random	Runner\Phase		Generated inputs — the random phase proper.
Shrink	Runner\Phase		Minimisation of a counterexample. Leaving it out is exactly ShrinkMode::Off; the two are one behaviour with one implementation.

Cases

Case	Backing value
Examples	—
Corpus	—
Random	—
Shrink	—

Methods

all()

static all(): array

Every phase, in run order — the default of PropertyConfig.