DeadlineExceededException
Rasuvaeff\PropertyTesting\DeadlineExceededException
Class — Source — Extends: RuntimeException
Thrown (as the failure of a property) when a single run's body takes longer than the Property::$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.
Properties
| Property | Type | Readonly |
|---|---|---|
propertyName | string | yes |
arguments | array | yes |
elapsedMs | float | yes |
timeoutMs | int | yes |