`CorpusStored`

Rasuvaeff\PropertyTesting\Event\CorpusStored

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

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