Эта документация переехала. Пакет заморожен на 2.8.1; актуальная документация — на сайте семейства property-testing. Если переадресация не сработала, откройте страницу миграции.
Skip to content

PropertyViolationException ​

Rasuvaeff\PropertyTesting\PropertyViolationException

Класс — Исходник — Наследует: RuntimeException

Текст ниже — на английском, из PHPDoc в исходном коде.

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.

Методы ​

getCounterExample() ​

php
getCounterExample(): CounterExample