Exceptions

Every @api type across all three packages that implements Throwable.

Exception	Package	Extends	Summary
CoverageViolationException	core	RuntimeException	Thrown (as the failure of an otherwise passing property) when a coverage requirement registered…
DeadlineExceededException	core	RuntimeException	Thrown (as the failure of a property) when a single run's body takes longer than the…
ExampleViolationException	core	RuntimeException	Reported when an explicit example (a fixed input declared via the property's Examples method)…
GaveUpException	core	RuntimeException	Thrown (as the failure of a property) when discarded inputs exceed the configured budget before…
GenerationExhausted	core	RuntimeException	Thrown when a bounded-attempt generator cannot produce a value that satisfies its constraint…
PropertyViolationException	core	RuntimeException	Reported when a property is falsified.
RegressionViolationException	core	RuntimeException	Reported when a recorded regression fails again: the minimised input of an earlier failure,…
PostconditionViolation	core	RuntimeException	Thrown by StateMachine::check() when a command's Command::postCondition() returns false.
TimeBudgetExceededException	core	RuntimeException	Thrown (as the failure of a property) when the random phase's wall-clock time exceeds the…