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

Commits

Commits on Mar 4, 2019