diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-05-13 01:15:44 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-05-13 01:15:44 +0100 |
commit | 501cac8b2eda9e68c200231bdabca17ac48264d7 (patch) | |
tree | 9be8adf9c93e430dcb1c0c6d3b39b0aa33a2ea15 /test/Property.hs | |
parent | d79412813c44767df06bce0d33f7472b30814a30 (diff) | |
parent | d50a0b5b57aae1c7558fa77c362ae2e36038b63c (diff) | |
download | verismith-501cac8b2eda9e68c200231bdabca17ac48264d7.tar.gz verismith-501cac8b2eda9e68c200231bdabca17ac48264d7.zip |
Merge branch 'master' into dev/reducerdev/reducer
Diffstat (limited to 'test/Property.hs')
-rw-r--r-- | test/Property.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/Property.hs b/test/Property.hs index ddbef0d..2d5dcc1 100644 --- a/test/Property.hs +++ b/test/Property.hs @@ -13,6 +13,7 @@ where import Data.Either (either, isRight) import qualified Data.Graph.Inductive as G import Data.Text (Text) +import Distance (distanceTests) import Hedgehog ((===), Gen, Property) import qualified Hedgehog as Hog import qualified Hedgehog.Gen as Hog @@ -47,5 +48,6 @@ propertyTests = testGroup "Property Tests" [ testProperty "acyclic graph generation check" acyclicGraph, - parserTests + parserTests, + distanceTests ] |