CorpusStored
Rasuvaeff\PropertyTesting\Event\CorpusStored
Class — Package: property-testing-core — Source — Version: v0.1.0-12-g86ead85
Implements: Event\PropertyEvent
A falsification's minimised counterexample was recorded in the corpus.
Constructor
php
__construct(
string $propertyId,
CounterExample $counterExample,
)| Parameter | Type | Default | Description |
|---|---|---|---|
$propertyId | string | required | |
$counterExample | CounterExample | required |