|Maintainer||Roman Cheplyaka <email@example.com>|
Functions to run SmallCheck tests.
Run series of tests using depth bounds 0..d, stopping if any test fails, and print a summary report or a counter-example.
Interactive variant, asking the user whether testing should continue/go deeper after a failure/completed iteration.
haskell> smallCheckI prop_append1 Depth 0: Completed 1 test(s) without failure. Deeper? y Depth 1: Failed test no. 5. Test values follow. [True] [True] Continue? n Deeper? n haskell>