diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-29 01:56:39 +0100 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-29 01:56:39 +0100 |
commit | 5db743f5343e874dfeab2e4f81ee98550ce8ef49 (patch) | |
tree | 4b54ac492f1384bfd39b2346ce92d42f2c40f1cd /verifuzz.cabal | |
parent | f0cc5bb8865b039b18bdc89e81df9bad72e0bdb5 (diff) | |
download | verismith-5db743f5343e874dfeab2e4f81ee98550ce8ef49.tar.gz verismith-5db743f5343e874dfeab2e4f81ee98550ce8ef49.zip |
Changes to the API
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r-- | verifuzz.cabal | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index 28838e0..8790ce4 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -41,6 +41,8 @@ library , shakespeare , shelly , text + , bytestring + , hashable extensions: OverloadedStrings executable yosys @@ -62,6 +64,8 @@ executable verifuzz , fgl , text , QuickCheck + , DRBG + , bytestring extensions: OverloadedStrings test-suite verifuzz-test |