Skip to content

Split explain-phase statistics out of shrink phase#4750

Merged
Zac-HD merged 3 commits into
HypothesisWorks:masterfrom
Zac-HD:claude/intelligent-carson-PRApQ
May 27, 2026
Merged

Split explain-phase statistics out of shrink phase#4750
Zac-HD merged 3 commits into
HypothesisWorks:masterfrom
Zac-HD:claude/intelligent-carson-PRApQ

Conversation

@Zac-HD
Copy link
Copy Markdown
Member

@Zac-HD Zac-HD commented May 27, 2026

Previously the explain phase ran inside the shrink phase's statistics context, so its runtime and test cases were folded into the shrink phase and a slow explain phase looked like slow shrinking. Make phase logging nestable so explain gets its own bucket, with the shrink phase excluding nested explain time.

Closes #4179.

claude added 2 commits May 27, 2026 07:37
Previously the explain phase ran inside the shrink phase's statistics
context, so its runtime and test cases were folded into the shrink phase
and a slow explain phase looked like slow shrinking. Make phase logging
nestable so explain gets its own bucket, with the shrink phase excluding
nested explain time.

https://claude.ai/code/session_01Fc3MJNwp5dLDCxTYjkFrVT
Move the type: ignore onto the non-literal key argument so mypy suppresses
the misc error there rather than flagging an unused ignore.

https://claude.ai/code/session_01Fc3MJNwp5dLDCxTYjkFrVT
@Zac-HD Zac-HD merged commit 31d0568 into HypothesisWorks:master May 27, 2026
77 checks passed
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.

Slow explain phase for recursive strategy

3 participants