name:                qc-oi-testgenerator
version:             1.2.0.3
synopsis:            Compile time generation of operation invariance tests for QuickCheck
description:
        This package generates operation invariance tests for QuickCheck from
        equation-based, QuickCheck-like properties at compile time. It
        implements the approach from the paper \"Automatic Testing of Operation
        Invariance\" presented at WFLP'14. The paper can be downloaded at
        <http://www.iai.uni-bonn.de/~jv/GV14.html>.
--homepage:            http://tobias.goedderz.info/haskell/qc-oi-testgenerator/
homepage:            http://www.iai.uni-bonn.de/~jv/GV14.html
license:             BSD3
license-file:        LICENSE
author:              Tobias Gödderz
maintainer:          haskell@tobias.goedderz.info
-- copyright:
category:            Testing
build-type:          Simple
-- extra-source-files:
cabal-version:       >=1.10

library
  exposed-modules:     Test.OITestGenerator, Test.OITestGenerator.HasGens, Test.OITestGenerator.OpArg, Test.OITestGenerator.Op, Test.OITestGenerator.GenHelper, Test.OITestGenerator.Axiom
  -- other-modules:
  other-extensions:    TemplateHaskell
  build-depends:       base >=4.6 && <4.7, template-haskell >=2.8 && <2.9, QuickCheck >=2.6 && <2.8, fclabels >=2.0 && <2.1
  -- hs-source-dirs:
  default-language:    Haskell2010