dfffbbb0db337f3242cc688670d527359dba159d09ef91b32c4813b8f6af07dc

Download raw

Created: 2023-12-19 03:40:10.302489 UTC

Size: 853

Preview (limited to 512 bytes)

"-- Miscellaneous tests.\n\n{-# LANGUAGE TemplateHaskell #-}\nimport Test.QuickCheck\nimport Test.QuickCheck.Random\n\nprop_verbose :: Blind (Int -> Int -> Bool) -> Property\nprop_verbose (Blind p) =\n forAll (mkQCGen <$> arbitrary) $ \\g ->\n ioProperty $ do\n res1 <- quickCheckWithResult stdArgs{replay = Just (g, 100), chatty = False} p\n res2 <- quickCheckWithResult stdArgs{replay = Just (g, 100), chatty = False} (verbose p)\n return $\n numTests res1 === numTests res2 .&&.\n failingTestCase res1 =="

Casa is a service provided by the Haskell Foundation │ Originally developed by FP Complete