CorpusEntry

Rasuvaeff\PropertyTesting\Runner\CorpusEntry

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

One recorded regression in a property's corpus: either the minimised failing input itself (a "values" entry — replayed as a single run, immune to changes in the generation sequence) or the seed of the run that failed (a "seed" entry — the fallback for inputs no Internal\ValueCodec can represent, replayed by re-running the whole random phase).

Constructor

__construct(
    ?array<string,mixed> $arguments,
    int $seed,
    ?int $runsBeforeFailure = NULL,
    \Runner\EdgeCases $edgeCases = Rasuvaeff\PropertyTesting\Runner\EdgeCases::Mixin,
)

Parameter	Type	Default	Description
$arguments	?array<string,mixed>	required	Minimised input keyed by parameter name; null for a seed entry.
$seed	int	required
$runsBeforeFailure	?int	NULL	How many runs the recorded failure survived before falsifying, so a seed replay with a lowered runs count still reaches the failing attempt. Null for values entries and for seed entries recorded before the field existed.
$edgeCases	Runner\EdgeCases	Rasuvaeff\PropertyTesting\Runner\EdgeCases::Mixin	The mode a seed entry replays under; Runner\EdgeCases::Mixin for values entries, where it plays no part.

Methods

values()

static values(array<string,mixed> $arguments, int $seed): self

seed()

static seed(
    int $seed,
    ?int $runsBeforeFailure = NULL,
    \Runner\EdgeCases $edgeCases = Rasuvaeff\PropertyTesting\Runner\EdgeCases::Mixin,
): self

• $runsBeforeFailure — Runs the recorded failure survived; null when unknown.
• $edgeCases — The boundary-value mode the failure was found under — the mode a replay must use for the seed to produce the same values. Entries recorded before the field existed carry Runner\EdgeCases::Mixin, the only mode there was.

isValues()

isValues(): bool