`RunDiscarded`

Rasuvaeff\PropertyTesting\Event\RunDiscarded

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

Implements: Event\PropertyEvent

A random-phase attempt was discarded — neither a failure nor a successful check. Two things arrive here: an input the property rejected through Assume::that(), and a run the environment refused (a skipped body or lifecycle hook). $skipped says which, because the two spend separate budgets and mean opposite things — one is a statement about the generators, the other about the machine.

Constructor

php

__construct(
    string $propertyId,
    int $attempt,
    array<string,mixed> $arguments,
    array<string,mixed> $draws,
    bool $skipped = false,
)

Parameter	Type	Default	Description
`$propertyId`	`string`	required
`$attempt`	`int`	required
`$arguments`	`array<string,mixed>`	required	Generated inputs, keyed by parameter name.
`$draws`	`array<string,mixed>`	required	In-body draws as `draw#N` pseudo-arguments.
`$skipped`	`bool`	`false`	The environment refused this run, rather than the property discarding the input it was given.

RunDiscarded ​

Constructor ​

`RunDiscarded`

Constructor