These docs have moved. The package is frozen at 2.8.1; the current documentation lives on the family site, property-testing. If the redirect did not fire, open the migration guide.
Skip to content

ExampleViolationException ​

Rasuvaeff\PropertyTesting\ExampleViolationException

Class — Source — Extends: RuntimeException

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.

Methods ​

getIndex() ​

php
getIndex(): int

getArguments() ​

php
getArguments(): array