PropertyViolationException
Rasuvaeff\PropertyTesting\PropertyViolationException
Class — Source — Extends: RuntimeException
Reported when a property is falsified.
Carries the CounterExample so reporters (and tests of this package) can inspect the seed and the shrunk arguments. Its message renders a human-readable summary.
Methods
getCounterExample()
php
getCounterExample(): CounterExample