RegressionViolationException

Rasuvaeff\PropertyTesting\RegressionViolationException

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

Extends: RuntimeException

Implements: Stringable, Throwable

Reported when a recorded regression fails again: the minimised input of an earlier failure, replayed from the on-disk corpus (PROPERTY_DB) before the random phase.

The input is already minimal — it is the shrunk counterexample of the run that recorded it — so it is replayed once and reported verbatim, without shrinking. A regression stored as a bare seed instead of values replays the whole random phase and reports the usual PropertyViolationException.

Constructor

__construct(
    array<string,mixed> $arguments,
    int $seed,
    ?\Throwable $failure = NULL,
)

Parameter	Type	Default	Description
$arguments	array<string,mixed>	required	The recorded input, keyed by parameter name.
$seed	int	required	Seed of the run that originally recorded this regression.
$failure	?\Throwable	NULL	The assertion or exception the replay raised.

Methods

getArguments()

getArguments(): array

getSeed()

getSeed(): int