From 09fde96bb166b0e6b428aff9034b14f9b31f24eb Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 6 Oct 2019 22:41:34 +0100 Subject: Test cases pass again --- test/Property.hs | 12 ------------ 1 file changed, 12 deletions(-) (limited to 'test') diff --git a/test/Property.hs b/test/Property.hs index a57f92c..7e1911e 100644 --- a/test/Property.hs +++ b/test/Property.hs @@ -43,21 +43,9 @@ acyclicGraph = Hog.property $ do . getCircuit $ g -propertyResultInterrupted :: Property -propertyResultInterrupted = do - mapCompose genResult - (Hog.int (Hog.linear 0 100)) - (Hog.int (Hog.linear 0 100)) - (Hog.int (Hog.linear 0 100)) - where - genResult :: Gen a -> Gen (Result Text a) - genResult a = Hog.choice - [Pass <$> a, Fail <$> Hog.text (Hog.linear 1 100) Hog.unicode] - propertyTests :: TestTree propertyTests = testGroup "Property Tests" [ testProperty "acyclic graph generation check" acyclicGraph - , testProperty "fmap for Result" propertyResultInterrupted , parserTests ] -- cgit