PropertyConfig

Rasuvaeff\PropertyTesting\Runner\PropertyConfig

Class — Package: property-testing-core — Source — Version: v0.1.0-12-g86ead85

Resolved knobs of one property run. The engine never reads the process environment: an adapter resolves its attribute/env/defaults into this value and hands it over, so a direct PropertyRunner call has no hidden process state.

Constructor

__construct(
    int $runs = 100,
    ?int $seed = NULL,
    ?int $maxShrinks = NULL,
    ?int $maxDiscards = NULL,
    ?int $timeoutMs = NULL,
    ?int $budgetMs = NULL,
)

Parameter	Type	Default	Description
$runs	int	100	Number of successful checks to complete. Discarded runs do not count.
$seed	?int	NULL	Seed of the random phase. Null lets the runner draw a random one.
$maxShrinks	?int	NULL	Cap on accepted shrink steps. Null means no cap, 0 disables shrinking.
$maxDiscards	?int	NULL	Maximum discarded runs before giving up. Null uses ten times $runs (saturating to PHP_INT_MAX).
$timeoutMs	?int	NULL	Wall-clock deadline for a single run in milliseconds; null disables it.
$budgetMs	?int	NULL	Wall-clock budget for the whole random phase in milliseconds; null disables it.