property-testing

Appearance

PropertyRunner ​

Rasuvaeff\PropertyTesting\Runner\PropertyRunner

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

The framework-agnostic property engine: runs the explicit examples, replays the regression corpus, generates random inputs until the required number of successful checks completes, and shrinks the first falsifying run to a minimal counterexample.

The runner knows nothing about test frameworks: the body executes behind a Runner\TrialExecutor, the outcome is a structured Runner\PropertyResult carrying the engine's own exception types, observers listen through PropertyListener events, and the regression corpus is an explicit Runner\Corpus the caller resolves (no environment reads, no output, no exit). Sequential-only: Classify and Internal\DrawContext are process-local statics, armed and drained around every body execution.

Constructor ​

php
__construct(
    ?Runner\Clock $clock = NULL,
)
ParameterTypeDefaultDescription
$clock?Runner\ClockNULL

Methods ​

run() ​

php
run(
    Runner\PropertyDefinition $property,
    Runner\TrialExecutor $executor,
    iterable<\PropertyListener> $listeners = [],
    ?Runner\Corpus $corpus = NULL,
): Runner\PropertyResult
  • $listeners — Observers of the run's lifecycle events, notified in the given order.