DeadlineExceededException

Rasuvaeff\PropertyTesting\DeadlineExceededException

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

Extends: RuntimeException

Implements: Throwable, Stringable, PropertyTestingException

Thrown (as the failure of a property) when a single run's body takes longer than the Runner\PropertyConfig::$timeoutMs deadline. The offending input is the counterexample: it is pathological for the code under test (catastrophic regex, deep recursion, unbounded backoff) — or the deadline is too tight.

The input is reported as-is, NOT shrunk: shrink acceptance would have to re-measure wall time, and timing noise makes that descent non-deterministic.

Constructor

__construct(
    string $propertyName,
    array<string,mixed> $arguments,
    float $elapsedMs,
    int $timeoutMs,
)

Parameter	Type	Default	Description
$propertyName	string	required
$arguments	array<string,mixed>	required	The run's generated arguments (including draw#N pseudo-arguments).
$elapsedMs	float	required	Measured wall-clock duration of the run.
$timeoutMs	int	required	The configured per-run deadline.