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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add RecheckInfo to simplify recheck reporting #386

Merged
merged 1 commit into from
Dec 7, 2021

Conversation

TysonMN
Copy link
Member

@TysonMN TysonMN commented Dec 5, 2021

This really isn't an improvement on its own, but this will simplify PR #336.

reportWith' currently populates Outcome.Failure.Status with the return value from a call to shrinkInput. With the optimized rechecking in PR #336, no shrinking occurs when rechecking. Instead, Outcome.Failure.Status is populated after following the shrink path with an instance of Status.Failed that doesn't need to provide recheck data.

@TysonMN TysonMN requested a review from dharmaturtle December 5, 2021 03:00
@TysonMN
Copy link
Member Author

TysonMN commented Dec 5, 2021

I think I can do better by splitting the None case off to beOption.None

@TysonMN
Copy link
Member Author

TysonMN commented Dec 5, 2021

Yes, much better

CHANGELOG.md Outdated Show resolved Hide resolved
src/Hedgehog/Report.fs Show resolved Hide resolved
src/Hedgehog/Report.fs Show resolved Hide resolved
@TysonMN
Copy link
Member Author

TysonMN commented Dec 5, 2021

I pushed a commit with improvements based on your comments @dharmaturtle. (I will squash to one commit before merging.)

@TysonMN TysonMN changed the title Add RecheckTypeData to simplify recheck reporting Add RecheckInfo to simplify recheck reporting Dec 7, 2021
@TysonMN TysonMN merged commit 59196ea into hedgehogqa:master Dec 7, 2021
@TysonMN TysonMN deleted the recheck_reporting branch December 7, 2021 02:19
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.

2 participants