diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-26 03:25:29 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-26 03:25:29 +0100 |
commit | a3fdc99c2066ace9855a6b687274a30bebb274bc (patch) | |
tree | e6341f67bbf59fc928873a03df3294f74a9bbdab /test/Property.hs | |
parent | df4d642fde676cd3602ca53ba788c0f1d188fe5d (diff) | |
download | verismith-a3fdc99c2066ace9855a6b687274a30bebb274bc.tar.gz verismith-a3fdc99c2066ace9855a6b687274a30bebb274bc.zip |
Add distance measure for lists with testcases
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 7e1911e..64f9bc6 100644 --- a/test/Property.hs +++ b/test/Property.hs @@ -26,6 +26,7 @@ import Verismith import Verismith.Result import Verismith.Verilog.Lex import Verismith.Verilog.Parser +import Distance (distanceTests) randomDAG' :: Gen Circuit randomDAG' = Hog.resize 30 randomDAG @@ -48,4 +49,5 @@ propertyTests = testGroup "Property Tests" [ testProperty "acyclic graph generation check" acyclicGraph , parserTests + , distanceTests ] |