diff options
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 |