SearchReport

Rasuvaeff\PropertyTesting\Runner\SearchReport

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

What the targeted search of a run amounted to, as data: how many bodies the search phase executed and where every label ended up. Built once, when the run finishes, and carried on Event\PropertyFinished beside the DistributionReport — only for a run that targeted something, so a property that never calls Target pays nothing and sees nothing.

Constructor

__construct(
    int $evaluations,
    array<string,\Runner\TargetOutcome> $targets,
)

Parameter	Type	Default	Description
$evaluations	int	required	Bodies executed in the search phase (the random phase's are in the distribution report).
$targets	array<string,\Runner\TargetOutcome>	required	By label, in the order the labels were first reported.

Methods

toArray()

toArray(): array

Machine-readable form for telemetry.