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

Added reportBool, reportRecheck, and reportRecheckBool #269

Merged
merged 1 commit into from
Jan 15, 2021

Conversation

dharmaturtle
Copy link
Member

It would be easier for Hedgehog.Xunit to implement [<Recheck(size, seed)>] if reportRecheck existed. I threw in reportBool as a bonus.

#266 should probably go first, which'll break this PR but I'll fix it once it's in.

@dharmaturtle dharmaturtle changed the title Added reportBool, reportRecheckBool, and reportRecheck Added reportBool, reportRecheck, and reportRecheckBool Jan 15, 2021
Copy link
Member

@moodmosaic moodmosaic left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Many thanks for the pull request 🦔 We're more than happy to support Hedgehog.Xunit (and eventually move it inside @hedgehogqa, if you want to).

#266 should probably go first, which'll break this PR but I'll fix it once it's in.

  1. We could merge this one now, and perhaps Moved functions from Random to Gen #238, and plan for a release so we can get the Hedgehog.Linq stuff out.
  2. The rearrangements in Rearrange parameters for better chaining. #266 (and any other breaking changes) go into a final, pre-v1, release.

@TysonMN, what do you think?

@TysonMN
Copy link
Member

TysonMN commented Jan 15, 2021

I like merging this now. Let's merge in simple ones like this and make the more complicated PRs adjust.

@moodmosaic moodmosaic merged commit 6b376a6 into hedgehogqa:master Jan 15, 2021
@dharmaturtle
Copy link
Member Author

dharmaturtle commented Jan 30, 2021

and eventually move it inside @hedgehogqa, if you want to

I'd like to move it in before v1.0

I'll probably revisit this after Experimental gets (partially?) merged.

@ghost ghost added this to the 0.10.0 milestone Jan 31, 2021
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.

3 participants