Skip to content

Minor cleanup of crosshair test markers#4757

Merged
Zac-HD merged 2 commits into
HypothesisWorks:masterfrom
Zac-HD:cleanups
May 28, 2026
Merged

Minor cleanup of crosshair test markers#4757
Zac-HD merged 2 commits into
HypothesisWorks:masterfrom
Zac-HD:cleanups

Conversation

@Zac-HD
Copy link
Copy Markdown
Member

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

Closes #3914, after scanning through the remaining markers they're all pretty reasonable. We have crosshair-side issues for all the known issues, and those are generally low-urgency. Exciting to feel this is a stable feature now!

@Zac-HD Zac-HD merged commit ba3a206 into HypothesisWorks:master May 28, 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.

Further improve support for symbolic execution

1 participant