From 5db743f5343e874dfeab2e4f81ee98550ce8ef49 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 29 Dec 2018 01:56:39 +0100 Subject: Changes to the API --- verifuzz.cabal | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'verifuzz.cabal') 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 -- cgit