From d50a0b5b57aae1c7558fa77c362ae2e36038b63c Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 9 May 2020 16:40:44 +0100 Subject: Add distance function (#75) * Add distance function * Add distance measure for lists with testcases * Add more distance measures for AST * Add distance to commandline * Fix distance always giving 0 --- test/Property.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'test/Property.hs') 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 ] -- cgit