CoverageViolationException

Rasuvaeff\PropertyTesting\CoverageViolationException

Class — Source — Extends: RuntimeException

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.

No public properties or methods beyond the constructor.