diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-30 23:03:36 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-30 23:03:36 +0000 |
| commit | b90fa78203d7b7da8c872b67575bdfeabaa5d134 (patch) | |
| tree | 90abe90681b4405efe69fd3e994ebbe258686fb3 | |
| parent | 901ad0a4762b30f5b00b683e6561f83601cdd333 (diff) | |
| download | verismith-b90fa78203d7b7da8c872b67575bdfeabaa5d134.tar.gz verismith-b90fa78203d7b7da8c872b67575bdfeabaa5d134.zip | |
Make the test case clearer
| -rw-r--r-- | tests/Property.hs | 7 |
1 files changed, 4 insertions, 3 deletions
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 ] |