RunPassed

Rasuvaeff\PropertyTesting\Event\RunPassed

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

Implements: Event\PropertyEvent

A random-phase attempt completed without failing.

Constructor

__construct(
    string $propertyId,
    int $attempt,
    array<string,mixed> $arguments,
    array<string,mixed> $draws,
    list<string> $labels,
    int $elapsedNs,
)

Parameter	Type	Default	Description
$propertyId	string	required
$attempt	int	required
$arguments	array<string,mixed>	required	Generated inputs, keyed by parameter name.
$draws	array<string,mixed>	required	In-body draws as draw#N pseudo-arguments.
$labels	list<string>	required	Classification labels the run recorded.
$elapsedNs	int	required