PathFailed

Rasuvaeff\PropertyTesting\Runner\PathFailed

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

Implements: Runner\PropertyResult

A run pinned to a shrink path found its falsification but could not follow the recorded descent. Its own outcome, deliberately: falling back to a fresh search would report a counterexample the path never reached, and reporting a pass would hide a property that did fail.

Constructor

__construct(
    \PathViolationException $exception,
)

Parameter	Type	Default	Description
$exception	PathViolationException	required	Which step of the pinned path could not be followed, and why.

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.