CorpusFailed

Rasuvaeff\PropertyTesting\Event\CorpusFailed

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

Implements: Event\PropertyEvent

The corpus threw — a Redis server that refused the connection, a database that could not be selected, a client error — and the property continues without it: no recorded failure was replayed (when it happened on recall) or none was stored (on remember/prune). The corpus is memory, not a verdict, so its infrastructure failing must not fail the property; the event is how a listener (the adapter's verbose trace) makes it visible.

Constructor

__construct(
    string $propertyId,
    "recall"|"remember"|"prune"|"recallTargets"|"rememberTargets" $operation,
    \Throwable $failure,
)

Parameter	Type	Default	Description
$propertyId	string	required	The property whose corpus operation failed.
$operation	`"recall"	"remember"	"prune"
$failure	Throwable	required	What the corpus threw.