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 /verismith.cabal | |
| parent | df4d642fde676cd3602ca53ba788c0f1d188fe5d (diff) | |
| download | verismith-a3fdc99c2066ace9855a6b687274a30bebb274bc.tar.gz verismith-a3fdc99c2066ace9855a6b687274a30bebb274bc.zip | |
Add distance measure for lists with testcases
Diffstat (limited to 'verismith.cabal')
| -rw-r--r-- | verismith.cabal | 2 |
1 files changed, 2 insertions, 0 deletions
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 |