EdgeCases
Rasuvaeff\PropertyTesting\Runner\EdgeCases
Enum — Package: property-testing-core — Source — Version: v1.0.0-1-g88fdee2
Implements: UnitEnum
Whether the numeric generators keep biasing toward their boundary values.
The bias is normally what you want: bugs cluster at 0, ±1 and a range's own ends far more than in the uniform interior, so roughly one draw in five returns an edge value rather than a uniform one.
It stops being what you want when the edges are exactly what the property cannot use — a body that discards 0 through Assume::that(), or a generator whose range ends violate a precondition. Then one run in five is spent producing a value the property throws away, and the discard budget carries the cost.
Constants
| Constant | Type | Value | Description |
|---|---|---|---|
Mixin | Runner\EdgeCases | Edge values mixed into random generation — the default, and jqwik's MIXIN. | |
None | Runner\EdgeCases | Uniform generation only. |
Cases
| Case | Backing value |
|---|---|
Mixin | — |
None | — |