CoverageViolationException

Rasuvaeff\PropertyTesting\CoverageViolationException

Class — Package: property-testing-core — Source — Version: v0.1.0-12-g86ead85

Extends: RuntimeException

Implements: Stringable, Throwable

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.