PropertyViolationException
Rasuvaeff\PropertyTesting\PropertyViolationException
Class — Package: property-testing-core — Source — Version: v0.1.0-12-g86ead85
Extends: RuntimeException
Implements: Stringable, Throwable
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