Adding recheck method and seed reporting#233

Merged

moodmosaic merged 13 commits intomasterfrom unknown repository

Dec 1, 2020

+96-48

Commits on Nov 27, 2020

Adding recheck method and seed reporting

Adam Becker
authored and
moodmosaic
committed
Fix test after adding line to rendered report

Adam Becker
authored and
moodmosaic
committed
Changing seed report string

Adam Becker
authored and
moodmosaic
committed
Changing message slightly

Adam Becker
authored and
moodmosaic
committed
Apply suggestions from code review

adam-becker
and
moodmosaic
committed
Update src/Hedgehog/Property.fs
moodmosaic
committed
Make Size available when rendering Property.recheck instructions
moodmosaic
committed
Rename appendf to renderf
moodmosaic
committed
Fix compilation error in rendered Property.recheck instructions
moodmosaic
committed
Have reportWith take also size
moodmosaic
committed

Commits on Nov 28, 2020

Fixing a few PR issues
Adam Becker
committed

Commits on Nov 29, 2020

Don't print recheck information after recheck
Adam Becker
committed

Commits on Nov 30, 2020

Make message work in FSI
Adam Becker
committed