CoverageFailed

Rasuvaeff\PropertyTesting\Runner\CoverageFailed

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

Implements: Runner\PropertyResult

Every run passed, but a Classify::cover() requirement was under-covered — the pass is (partially) vacuous.

Constructor

__construct(
    CoverageViolationException $exception,
    Runner\RunStatistics $statistics,
)

Parameter	Type	Default	Description
$exception	CoverageViolationException	required
$statistics	Runner\RunStatistics	required

Methods

failure()

failure(): Throwable

The engine exception describing the failure — the same type and message the package has always reported (PropertyViolationException for a falsification, and so on). Null for a pass.

Documentation inherited from Runner\PropertyResult.