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: a PHPUnit adapter for the property-testing engine — the Rasuvaeff\PropertyTesting\PhpUnit\PropertyTesting trait and the fluent PropertyCheck builder (forAll()->runs()->check()) over rasuvaeff/property-testing-core.
Result mapping: a pass registers one assertion; every failing outcome
surfaces as one AssertionFailedError carrying the engine exception as previous; Assume::that() discards are retried runs, never skipped tests.
Environment and corpus parity with the Testo adapter: the PROPERTY_RUNS/PROPERTY_SEED/PROPERTY_VERBOSE/PROPERTY_DB contract,
the distribution report and discard warning, and a regression-corpus format
interoperable with rasuvaeff/property-testing 2.8.