diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-01 15:11:35 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-01 15:11:35 +0000 |
commit | 282cb4c4352e87f3e971d116bd6c7fa2c64fb284 (patch) | |
tree | 3a4a6b80494c298bf6cbd01b8d21b2b276be1574 | |
parent | d3c498bebbbcb02d2b67c687a294676c6e2d09e9 (diff) | |
download | verismith-282cb4c4352e87f3e971d116bd6c7fa2c64fb284.tar.gz verismith-282cb4c4352e87f3e971d116bd6c7fa2c64fb284.zip |
Add new modules
-rw-r--r-- | verifuzz.cabal | 4 |
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 |