PropertyViolationException
Rasuvaeff\PropertyTesting\PropertyViolationException
Class — Package: property-testing-core — Source — Version: v1.0.0-1-g88fdee2
Extends: RuntimeException
Implements: Throwable, Stringable, PropertyTestingException
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.
Constructor
php
__construct(
CounterExample $counterExample,
)| Parameter | Type | Default | Description |
|---|---|---|---|
$counterExample | CounterExample | required |
Methods
getCounterExample()
php
getCounterExample(): CounterExample