RunStatistics

Rasuvaeff\PropertyTesting\Runner\RunStatistics

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

Counters of a random phase, carried by the results whose reporting needs them: the classification distribution and the excessive-discard warning are printed by the adapter (the engine never formats framework output), so the result hands over the raw numbers.

Constructor

__construct(
    int $attempts,
    int $discards,
    int $checks,
    array<string,int> $classifications,
)

Parameter	Type	Default	Description
$attempts	int	required	Bodies executed in the random phase, discarded ones included.
$discards	int	required	Runs discarded via Assume::that().
$checks	int	required	Successful (non-discarded, non-failing) runs completed.
$classifications	array<string,int>	required	Per-label counts from Classify over the passing runs.