Override QuickCheck Args on a per-test basis (Lighthouse #6)

[fatuhoku]

Reported by Oren Ben-Kiki | August 15th, 2012 @ 09:58 AM

I added something like this:

    quickCheckWithNewArgs :: QC.Testable prop => (Args -> Args)-> prop-> IO ()
    quickCheckWithNewArgs modifyArgs test = do
      result <- quickCheckWithResult (modifyArgs $ stdArgs { chatty = False }) test
      case result of
        Success {} ->
          return ()
        Failure {} ->
          assertFailure $ "QuickCheck failed\n" ++ extra result
        GaveUp {} ->
          assertFailure $ "QuickCheck gave up after: " ++ (show $ numTests result) ++ " tests\n" ++ extra result
        NoExpectedFailure {} ->
          assertFailure $ "QuickCheck failed to trigger expected failure\n" ++ extra result
      where
        extra result =
          output result ++ (concatMap showLabelFrequency $ labels result)
        showLabelFrequency (label, frequency) =
          "\nSeen label: " ++ label ++ " with frequency: " ++ show frequency

    quickCheckRepeatTests :: QC.Testable prop => Int-> prop -> IO ()
    quickCheckRepeatTests number test = do
      quickCheckWithNewArgs setTestsNumber test
      where
        setTestsNumber number args =
          args { maxSuccess = number }

It seems like something along these lines should be a part of test-framework-quickcheck2.