ExampleFinished

Rasuvaeff\PropertyTesting\Event\ExampleFinished

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

Implements: Event\PropertyEvent

An explicit example finished. A null $failure means it passed or was discarded via Assume.

Constructor

__construct(
    string $propertyId,
    int $index,
    list $arguments,
    ?Throwable $failure,
)

Parameter	Type	Default	Description
$propertyId	string	required
$index	int	required
$arguments	list	required
$failure	?Throwable	required