diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-16 11:35:39 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-16 11:35:39 +0000 |
| commit | a83b3b40f683400914d0f3ae23bd9e69e6e0fd96 (patch) | |
| tree | 5bd7bcd8a36cce820dae888fdd4eeca080f8356d /test/Property.hs | |
| parent | f5f2b13429bd81aa1e53431e950439c3542a9100 (diff) | |
| download | verismith-a83b3b40f683400914d0f3ae23bd9e69e6e0fd96.tar.gz verismith-a83b3b40f683400914d0f3ae23bd9e69e6e0fd96.zip | |
Fix warnings for -Wall
Diffstat (limited to 'test/Property.hs')
| -rw-r--r-- | test/Property.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Property.hs b/test/Property.hs index 2c8abc9..3edf5d4 100644 --- a/test/Property.hs +++ b/test/Property.hs @@ -22,9 +22,11 @@ instance QC.Arbitrary TestGraph where instance QC.Arbitrary AltTestGraph where arbitrary = AltTestGraph <$> QC.resize 100 V.randomDAG +simpleGraph :: TestTree simpleGraph = QC.testProperty "simple graph generation check" $ \graph -> simp graph where simp = G.isSimple . getGraph +simpleAltGraph :: TestTree simpleAltGraph = QC.testProperty "simple alternative graph generation check" $ \graph -> simp graph where simp = G.isSimple . getAltGraph |