GaveUpException

Rasuvaeff\PropertyTesting\GaveUpException

Class — Source — Extends: RuntimeException

Thrown (as the failure of a property) when discarded inputs exceed the configured budget before the requested number of successful checks completes. It exposes successful, discarded and total attempt counts so the result cannot hide a weak input distribution.

The fix is almost always to construct valid inputs directly (e.g. Gen::flatMap() / Gen::draw()) rather than generating broadly and discarding, so runs are valid by construction.

Properties

Property	Type	Readonly
propertyName	string	yes
requiredRuns	int	yes
successfulRuns	int	yes
discardedRuns	int	yes
attempts	int	yes
maxDiscards	int	yes