CorpusEntry

Rasuvaeff\PropertyTesting\Runner\CorpusEntry

Class — Package: property-testing-core — Source — Version: v0.1.0-12-g86ead85

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,
)

Parameter	Type	Default	Description
$arguments	?array<string,mixed>	required	Minimised input keyed by parameter name; null for a seed entry.
$seed	int	required

Methods

values()

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

seed()

static seed(int $seed): self

isValues()

isValues(): bool