Skip to content

Better reporting abilities for pure quickCheck runs#100

Merged
garyb merged 1 commit into
masterfrom
better-pure-reporting
Mar 4, 2019
Merged

Better reporting abilities for pure quickCheck runs#100
garyb merged 1 commit into
masterfrom
better-pure-reporting

Conversation

@garyb
Copy link
Copy Markdown
Member

@garyb garyb commented Mar 4, 2019

No description provided.

@garyb
Copy link
Copy Markdown
Member Author

garyb commented Mar 4, 2019

Ideally I'd like to remove quickCheckPure, quickCheckGenPure in favour of the new primed variants, but we've only just made a breaking release so perhaps we can do that next time.

@garyb
Copy link
Copy Markdown
Member Author

garyb commented Mar 4, 2019

After talking with @kritzcreek I'll revert the change to the implementation of the existing functions, and just add the new ones. The change means the existing function might perform slightly worse, since they'll accumulate all errors before printing the result, rather than just holding on to the first.

@garyb garyb force-pushed the better-pure-reporting branch from 8635a7d to 29bff02 Compare March 4, 2019 16:19
@garyb garyb force-pushed the better-pure-reporting branch from 29bff02 to 270f8fa Compare March 4, 2019 16:20
@garyb garyb merged commit 6289a80 into master Mar 4, 2019
@garyb garyb deleted the better-pure-reporting branch March 4, 2019 16:23
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.

1 participant