ExampleViolationException

Rasuvaeff\PropertyTesting\ExampleViolationException

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

Extends: RuntimeException

Implements: Throwable, Stringable, PropertyTestingException

Reported when an explicit example (a fixed input declared via the property's Examples method) fails. Examples run before the random inputs and are not shrunk — they are already the minimal case the developer pinned — so this carries the example's index and arguments verbatim.

Constructor

__construct(
    int $index,
    list $arguments,
    ?\Throwable $failure = NULL,
)

Parameter	Type	Default	Description
$index	int	required	Zero-based position of the failing example.
$arguments	list	required	The example's positional arguments.
$failure	?\Throwable	NULL	The assertion or exception the example raised.

Methods

getIndex()

getIndex(): int

getArguments()

getArguments(): array