PropertyEvent

Rasuvaeff\PropertyTesting\Event\PropertyEvent

Interface — Package: property-testing-core — Source — Version: v0.1.0-12-g86ead85

Implemented by: Event\CorpusPruned, Event\CorpusReplayed, Event\CorpusStored, Event\ExampleFinished, Event\ExampleStarted, Event\PropertyFinished, Event\PropertyStarted, Event\RunDiscarded, Event\RunFailed, Event\RunPassed, Event\RunStarted, Event\ShrinkAccepted, Event\ShrinkTried

Marker for the engine's lifecycle events.

Events carry engine data only — property id, seed, attempt numbers, arguments, labels, elapsed time, failures, counterexamples. Framework types (Testo's TestInfo/TestResult/Messenger, PHPUnit's) never appear here.

No public members beyond what is documented above.