CoverageViolationException

Rasuvaeff\PropertyTesting\CoverageViolationException

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

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

Thrown (as the failure of an otherwise passing property) when a coverage requirement registered via Classify::cover() is not met: the property held on every run, but the generators did not exercise a labelled case often enough, so the pass would be (partially) vacuous.

Нет публичных свойств или методов кроме конструктора.