You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Initial release: the Testo adapter extracted from rasuvaeff/property-testing
2.8.1 as a drop-in replacement — the #[Property] attribute keeps its FQCN
(Rasuvaeff\PropertyTesting\Property), the interceptor, trial executor and
verbose listener move to the Rasuvaeff\PropertyTesting\Testo namespace.
The engine (generators, shrinking, runner, regression corpus, events, state
machine) now comes from rasuvaeff/property-testing-core.
Behaviour preserved from 2.8: reflection conventions
(<method>Generators/<method>Examples), the PROPERTY_RUNS/PROPERTY_SEED/PROPERTY_VERBOSE/PROPERTY_DB environment
contract, counterexample message formats, corpus format and replay
semantics, seed determinism, and Testo coverage-attribute aggregation.