Closed michaelpj closed 10 months ago
This does mean that we need to bump the
tasty
lower bound to 1.5.
Not necessarily: IINM the code as written compiles with earlier versions of tasty
as well.
Otherwise looks good, please add a changelog entry (check tasty-quickcheck
changelog for suggested format).
Oh, of course, the callback was there before it just didn't do anything.
Okay, updated.
A cheap improvement to also show the steps as the tests are running. This does mean that we need to bump the
tasty
lower bound to 1.5.