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

garyb merged 1 commit into
masterfrom
better-pure-reporting

Conversation

@garyb

@garyb garyb commented Mar 4, 2019

Copy link
Copy Markdown
Member

No description provided.

@garyb

garyb commented Mar 4, 2019

Copy link
Copy Markdown
Member Author

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

garyb commented Mar 4, 2019

Copy link
Copy Markdown
Member Author

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