import System.Random
import Data.Word
import Test.HUnit.Utils
+import Text.ParserCombinators.Parsec
(@=?) :: (Eq a, Show a) => a -> a -> Result
expected @=? actual =
random g = randomR (minBound, maxBound) g
instance Arbitrary Char where
- arbitrary = sized $ \n -> choose (toEnum 0, min (toEnum n) maxBound)
- coarbitrary n = variant (if (fromEnum n) >= 0 then toEnum (2 * x) else toEnum (2 * x + 1))
+ arbitrary = sized $ \n -> choose (toEnum 0, min (toEnum (n * 0x50)) maxBound)
+ coarbitrary n = variant (toEnum (2 * x + 1))
where x = (abs . fromEnum $ n)::Int
-- Modified from HUnit
us'' <- put (HU.showCounts counts) True us'
return (counts, us'')
where
- reportStart ss us = do hPrintf stdout "\rTesting %-68s\n" (HU.showPath (HU.path ss))
+ reportStart ss us = do hPrintf stdout "\rTesting %-70s\n"
+ (HU.showPath (HU.path ss))
put (HU.showCounts (HU.counts ss)) False us
reportError = reportProblem "Error:" "Error in: "
reportFailure = reportProblem "Failure:" "Failure in: "
path' = HU.showPath (HU.path ss)
q :: Testable a => String -> a -> HU.Test
-q = qccheck (defaultConfig {configMaxTest = 250, configMaxFail = 5000})
+q = qccheck (defaultConfig {configMaxTest = 250, configMaxFail = 10000,
+ configEvery = \_ _ -> ""})
+ -- configEvery = testCount for displaying a running test counter
+ where testCountBase n = " (test " ++ show n ++ "/250)"
+ testCount n _ = testCountBase n ++
+ replicate (length (testCountBase n)) '\b'
+
+{- | Test a parser, forcing it to apply to all input. -}
+p parser input =
+ case parse parseTest "(none)" input of
+ Left _ -> Nothing
+ Right y -> Just y
+ where parseTest = do r <- parser
+ eof
+ return r