rapidCheckImpl :: Testable prop => Int -> Int -> prop -> Result | |
rapidCheckImpl attemptNb startSeed prop = runAll (property prop) | |
where | |
runAll prop = foldMap (runOne prop) [startSeed .. startSeed + attemptNb - 1] | |
runOne prop seed = | |
let result = visitResultTree (runProp prop (mkStdGen seed)) | |
in overFailure result $ \failure -> failure { seed = seed } |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment