aboutsummaryrefslogtreecommitdiffstats
path: root/test/Property.hs
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2019-01-20 16:49:17 +0000
committerYann Herklotz <ymherklotz@gmail.com>2019-01-20 16:49:17 +0000
commitd60fc9c882f6ce668123fbfbfd9a0f02dd832f7b (patch)
tree981c9443c8d919b0bc58abbfb8d617223eb99a9f /test/Property.hs
parent8cfacbac3bb16fc0294e6eaf7c7b16c238c58d73 (diff)
downloadverismith-d60fc9c882f6ce668123fbfbfd9a0f02dd832f7b.tar.gz
verismith-d60fc9c882f6ce668123fbfbfd9a0f02dd832f7b.zip
Prettify files
Diffstat (limited to 'test/Property.hs')
-rw-r--r--test/Property.hs16
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]