CallableTrialExecutor
Rasuvaeff\PropertyTesting\Runner\CallableTrialExecutor
Class — Package: property-testing-core — Source — Version: v1.0.0-1-g88fdee2
Implements: Runner\TrialExecutor
The standalone executor: a plain callback is the property body. A normal return passes, Assume::that() discards, any other throwable fails the trial.
This is what a custom harness (CLI script, application-side checker) uses with Runner\PropertyRunner directly, without any test framework.
Constructor
php
__construct(
callable $body,
)| Parameter | Type | Default | Description |
|---|---|---|---|
$body | callable | required | Receives the generated arguments positionally, in Runner\PropertyDefinition::$parameterNames order. |
Methods
execute()
php
execute(array<string,mixed> $arguments): Runner\TrialOutcomeDocumentation inherited from Runner\TrialExecutor.
$arguments— Keyed by parameter name, inRunner\PropertyDefinition::$parameterNames order.