name:                verifuzz
version:             0.1.0.0
-- synopsis:
-- description:
homepage:            https://github.com/githubuser/verifuzz#readme
license:             BSD3
license-file:        LICENSE
author:              Author name here
maintainer:          example@example.com
copyright:           2018 Author name here
category:            Web
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
                     , mwc-random
                     , random