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 --- verismith.cabal | 2 ++ 1 file changed, 2 insertions(+) (limited to 'verismith.cabal') diff --git a/verismith.cabal b/verismith.cabal index 42a785b..35369b0 100644 --- a/verismith.cabal +++ b/verismith.cabal @@ -64,6 +64,7 @@ library , Verismith.Verilog.AST , Verismith.Verilog.BitVec , Verismith.Verilog.CodeGen + , Verismith.Verilog.Distance , Verismith.Verilog.Eval , Verismith.Verilog.Internal , Verismith.Verilog.Lex @@ -133,6 +134,7 @@ test-suite test , Property , Reduce , Parser + , Distance build-depends: base >=4 && <5 , verismith , fgl >=5.6 && <5.8 -- cgit