diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-31 19:13:25 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-31 19:13:25 +0100 |
| commit | de580a7d4b5f4def9f0b71c6cff33ccad45d678b (patch) | |
| tree | d7632f745db918da754b21ed951e30351a459f41 /verifuzz.cabal | |
| parent | b679d2c6b19f647a3af98019426dfd05e8e103e9 (diff) | |
| download | verismith-de580a7d4b5f4def9f0b71c6cff33ccad45d678b.tar.gz verismith-de580a7d4b5f4def9f0b71c6cff33ccad45d678b.zip | |
Large refactor
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index fcc4965..6f878ff 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -31,6 +31,7 @@ library , Test.VeriFuzz.Simulator.Yosys , Test.VeriFuzz.Verilog , Test.VeriFuzz.Verilog.AST + , Test.VeriFuzz.Verilog.Arbitrary , Test.VeriFuzz.Verilog.CodeGen , Test.VeriFuzz.Verilog.Helpers , Test.VeriFuzz.Verilog.Mutate |