From b90fa78203d7b7da8c872b67575bdfeabaa5d134 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 30 Nov 2018 23:03:36 +0000 Subject: Make the test case clearer --- tests/Property.hs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'tests/Property.hs') diff --git a/tests/Property.hs b/tests/Property.hs index ba9152e..e95ddec 100644 --- a/tests/Property.hs +++ b/tests/Property.hs @@ -5,16 +5,17 @@ import Test.Tasty import Test.Tasty.QuickCheck as QC import Test.VeriFuzz -newtype TestGraph = TestGraph { getGraph :: Gr Gate ()} +newtype TestGraph = TestGraph { getGraph :: Gr Gate () } deriving (Show) instance QC.Arbitrary TestGraph where arbitrary = TestGraph <$> randomDAG 100 simpleGraph = QC.testProperty "simple graph generation" $ - \graph -> isSimple (getGraph (graph :: TestGraph)) == True + \graph -> simp (graph :: TestGraph) == True + where simp = isSimple . getGraph propertyTests :: TestTree -propertyTests = testGroup "Property" +propertyTests = testGroup "Property Tests" [ simpleGraph ] -- cgit