`RunStarted`

Rasuvaeff\PropertyTesting\Event\RunStarted

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

Implements: Event\PropertyEvent

A random-phase attempt is about to execute the property body.

Constructor

php

__construct(
    string $propertyId,
    int $attempt,
    array<string,mixed> $arguments,
)

Parameter	Type	Default	Description
`$propertyId`	`string`	required
`$attempt`	`int`	required
`$arguments`	`array<string,mixed>`	required	Generated inputs, keyed by parameter name.