diff options
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index d807797..a5d48b6 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -13,14 +13,32 @@ build-type: Simple cabal-version: >=1.10 extra-source-files: README.md +library + hs-source-dirs: src + default-language: Haskell2010 + exposed-modules: Test.VeriFuzz + , Test.VeriFuzz.Types + , Test.VeriFuzz.CodeGen + , Test.VeriFuzz.Graph.Random + build-depends: base >= 4.7 && < 5 + , QuickCheck + , fgl + , text + , mwc-random + , random + executable verifuzz hs-source-dirs: src main-is: Main.hs default-language: Haskell2010 + other-modules: Test.VeriFuzz + , Test.VeriFuzz.Types + , Test.VeriFuzz.CodeGen + , Test.VeriFuzz.Graph.Random build-depends: base >= 4.7 && < 5 , QuickCheck , graphviz , fgl , text - , graph-generators , mwc-random + , random |