RegressionViolationException

Rasuvaeff\PropertyTesting\RegressionViolationException

Class — Source — Extends: RuntimeException

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.

Methods

getArguments()

getArguments(): array

getSeed()

getSeed(): int