CoverageViolationException

Rasuvaeff\PropertyTesting\CoverageViolationException

Class — Package: property-testing-core — Source — Version: v1.0.0-1-g88fdee2

Extends: RuntimeException

Implements: Throwable, Stringable, PropertyTestingException

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 members beyond what is documented above.