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.
The Classify distribution line is written to Messenger::CHANNEL_STDERR
instead of CHANNEL_STDOUT, so it survives a run that contains a failure.
Testo's terminal renderer writes the stderr channel through as-is and streams
every other channel only at -v, rescuing a stdout message at normal
verbosity solely when the whole run holds one passing test — so in a real
suite the distribution was never shown, and specifically not on the red run,
which is when Classify::when() and Classify::label() are read at all. The
level stays Info; only the channel decides visibility. The PHPUnit adapter
already printed both lines unconditionally.
Requires rasuvaeff/property-testing-core^0.9, where an environmental skip
no longer spends the discard budget: a machine missing a dependency is no
longer told to narrow generators that were never at fault. The excessive-
discard warning printed here reads the engine's discard counter, so it stops
firing on such a machine without a change of its own.