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

ClassSourceExtends: 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