PropertyStarted
Rasuvaeff\PropertyTesting\Event\PropertyStarted
Class — Package: property-testing-core — Source — Version: v0.1.0-12-g86ead85
Implements: Event\PropertyEvent
The property is about to run: examples first, then corpus replay, then the random phase.
Constructor
php
__construct(
string $propertyId,
int $seed,
int $runs,
)| Parameter | Type | Default | Description |
|---|---|---|---|
$propertyId | string | required | |
$seed | int | required | |
$runs | int | required |