Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Write .patch files to add @example() decorators for failing test cases #3631

Merged
merged 8 commits into from Apr 30, 2023

Conversation

Zac-HD
Copy link
Member

@Zac-HD Zac-HD commented Apr 29, 2023

See https://blog.nelhage.com/post/property-testing-like-afl/ and Zac-HD/hypofuzz#13. I've tried it out locally and it's rather nice 馃檪

Also cherrypicked: fixes #3629, fixes #3632.

@Zac-HD Zac-HD added the new-feature entirely novel capabilities or strategies label Apr 29, 2023
@Zac-HD Zac-HD force-pushed the experiments branch 5 times, most recently from 5508bba to 502b7f9 Compare April 30, 2023 04:32
@Zac-HD Zac-HD requested a review from DRMacIver as a code owner April 30, 2023 04:32
@Zac-HD Zac-HD force-pushed the experiments branch 3 times, most recently from 84bf3b7 to c4cb186 Compare April 30, 2023 05:35
@Zac-HD Zac-HD merged commit ffb96a4 into HypothesisWorks:master Apr 30, 2023
50 checks passed
@Zac-HD Zac-HD deleted the experiments branch April 30, 2023 06:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
new-feature entirely novel capabilities or strategies
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants