AssumptionSkipped

Rasuvaeff\PropertyTesting\AssumptionSkipped

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

Extends: RuntimeException

Implements: Stringable, Throwable

Thrown by Assume::that() to discard the current property run without counting it as a failure or a successful check.

Part of the executor seam: a Runner\TrialExecutor catches it and returns Runner\TrialOutcome::discarded(), which is what Runner\CallableTrialExecutor and both adapters do. It does not implement PropertyTestingException on purpose — it is a control-flow signal, not a failure, and a body catching the marker must not swallow it.

No public members beyond what is documented above.