diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-20 16:49:17 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-20 16:49:17 +0000 |
commit | d60fc9c882f6ce668123fbfbfd9a0f02dd832f7b (patch) | |
tree | 981c9443c8d919b0bc58abbfb8d617223eb99a9f /test/Property.hs | |
parent | 8cfacbac3bb16fc0294e6eaf7c7b16c238c58d73 (diff) | |
download | verismith-d60fc9c882f6ce668123fbfbfd9a0f02dd832f7b.tar.gz verismith-d60fc9c882f6ce668123fbfbfd9a0f02dd832f7b.zip |
Prettify files
Diffstat (limited to 'test/Property.hs')
-rw-r--r-- | test/Property.hs | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/test/Property.hs b/test/Property.hs index 80c6f68..c6ca390 100644 --- a/test/Property.hs +++ b/test/Property.hs @@ -1,4 +1,7 @@ -module Property (propertyTests) where +module Property + ( propertyTests + ) +where import qualified Data.Graph.Inductive as G import Data.Graph.Inductive.PatriciaTree (Gr) @@ -19,16 +22,11 @@ instance QC.Arbitrary TestGraph where instance QC.Arbitrary AltTestGraph where arbitrary = AltTestGraph <$> QC.resize 100 V.randomDAG -simpleGraph = QC.testProperty "simple graph generation check" $ - \graph -> simp graph +simpleGraph = QC.testProperty "simple graph generation check" $ \graph -> simp graph where simp = G.isSimple . getGraph -simpleAltGraph = QC.testProperty "simple alternative graph generation check" $ - \graph -> simp graph +simpleAltGraph = QC.testProperty "simple alternative graph generation check" $ \graph -> simp graph where simp = G.isSimple . getAltGraph propertyTests :: TestTree -propertyTests = testGroup "Property Tests" - [ simpleGraph - , simpleAltGraph - ] +propertyTests = testGroup "Property Tests" [simpleGraph, simpleAltGraph] |