aboutsummaryrefslogtreecommitdiffstats
path: root/verifuzz.cabal
diff options
context:
space:
mode:
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r--verifuzz.cabal4
1 files changed, 3 insertions, 1 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal
index 0e4b929..785367c 100644
--- a/verifuzz.cabal
+++ b/verifuzz.cabal
@@ -16,11 +16,13 @@ extra-source-files: README.md
library
hs-source-dirs: src
default-language: Haskell2010
+ other-modules: Test.VeriFuzz.Internal.Shared
exposed-modules: Test.VeriFuzz
, Test.VeriFuzz.Types
, Test.VeriFuzz.CodeGen
- , Test.VeriFuzz.Graph.Random
, Test.VeriFuzz.VerilogAST
+ , Test.VeriFuzz.Graph.Random
+ , Test.VeriFuzz.Graph.CodeGen
build-depends: base >= 4.7 && < 5
, QuickCheck
, fgl