PropertyFinished

Rasuvaeff\PropertyTesting\Event\PropertyFinished

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

Implements: Event\PropertyEvent

The property finished. A null $failure is a pass; otherwise the failure is the outcome's exception (falsified, gave up, coverage, deadline, budget, generation exhausted, example or regression violation).

Constructor

__construct(
    string $propertyId,
    ?Throwable $failure,
    ?\Runner\DistributionReport $distribution = NULL,
    ?\Runner\SearchReport $search = NULL,
)

Parameter	Type	Default	Description
$propertyId	string	required
$failure	?Throwable	required
$distribution	?\Runner\DistributionReport	NULL	What the random phase generated, as data — the labels with their shares, the cover() thresholds beside them, the discards. Null for an outcome that carries no counters: a falsification stops at the counterexample, and an example, regression, deadline or generation failure never reached the random phase's accounting. Listeners are where telemetry lives, which is why the report travels here and not only on the result.
$search	?\Runner\SearchReport	NULL	What the targeted search amounted to, for a run that reported a Target and carries counters; null otherwise.