Skip to content

CorpusReplayed

Rasuvaeff\PropertyTesting\Event\CorpusReplayed

ClassPackage: property-testing-coreSourceVersion: v0.1.0-12-g86ead85

Implements: Event\PropertyEvent

A recorded regression entry is about to replay before the random phase.

Constructor

php
__construct(
    string $propertyId,
    bool $isValues,
    array<string,mixed> $arguments,
    int $seed,
)
ParameterTypeDefaultDescription
$propertyIdstringrequired
$isValuesboolrequired
$argumentsarray<string,mixed>requiredThe recorded input for a values entry; empty for a seed entry (the seed reproduces the whole phase).
$seedintrequired