Skip to content

Release 0.2.0 - #5

Merged
rasuvaeff merged 1 commit into
masterfrom
release/0.2.0
Aug 14, 2026
Merged

Release 0.2.0#5
rasuvaeff merged 1 commit into
masterfrom
release/0.2.0

Conversation

@rasuvaeff

Copy link
Copy Markdown
Owner

The PHPUnit adapter for core 0.2.

What is in it

Change
PropertyCheck::id() names the property — the corpus key, the event id and the display name — for the case the derived id cannot serve: a forAll() called from a closure, where PHP has no stable name
The 0.2 run knobs shrink(), shrinkBudgetMs(), phases(), derandomize(), path()
Three environment variables PROPERTY_PHASES, PROPERTY_DERANDOMIZE, PROPERTY_PATH — byte-for-byte the Testo adapter's, error messages included
The unstable-id warning a closure-derived id is reported on stderr, through the channel that already carries the excessive-discard warning

Precedence follows one rule, now stated in the README: the environment dials the suite, the code pins the property. PROPERTY_RUNS/PROPERTY_PHASES/PROPERTY_DERANDOMIZE win over the chain; seed()/path() win over their variables.

Requires core ^0.2

The knobs are 0.2 engine fields, so there is no build of this adapter that offers them against core 0.1. Not a ^0.1 || ^0.2 range: that would promise something that cannot work.

Checks

  • composer build green against core ^0.2 from Packagist: 59 tests, ~1.3k assertions;
  • mutation 146/154 killed (MSI 94.8%), gate 90, survivors are the pre-existing equivalent set;
  • roave/backward-compatibility-check: no backwards-incompatible changes;
  • bin/package-audit: 0 errors, 0 warnings;
  • both adapter contract suites green against core master (this package's suite is one of them).

@coderabbitai

coderabbitai Bot commented Aug 14, 2026

Copy link
Copy Markdown

Important

Review available on request

  • 🔍 Trigger review

Reviews should be triggered manually for repositories with fewer than 10 stars. Select Trigger review above or comment @coderabbitai review to review the latest changes. For a full review, comment @coderabbitai full review.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro Plus

Run ID: 60278da0-2d7e-40b1-af6c-6bbf5ab22eed


Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@rasuvaeff
rasuvaeff merged commit d39d375 into master Aug 14, 2026
11 checks passed
@rasuvaeff
rasuvaeff deleted the release/0.2.0 branch August 14, 2026 19:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant