`PropertyFinished`

Rasuvaeff\PropertyTesting\Event\PropertyFinished

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

Implements: Event\PropertyEvent

The property finished. A null $failure is a pass; otherwise the failure is the outcome's exception (falsified, gave up, coverage, deadline, budget, generation exhausted, example or regression violation).

Constructor

php

__construct(
    string $propertyId,
    ?Throwable $failure,
)

Parameter	Type	Default	Description
`$propertyId`	`string`	required
`$failure`	`?Throwable`	required

PropertyFinished ​

Constructor ​

`PropertyFinished`

Constructor