Name: smartcheck

Version: 0.2.4

Synopsis: A smarter QuickCheck.

Homepage: https://github.com/leepike/SmartCheck

Description: See the README.md: fast, small shrinking and generalization of failing test-cases from QuickCheck.

License: BSD3

License-file: LICENSE.md

Author: Lee Pike

Maintainer: leepike@gmail.com

Copyright: copyright, Lee Pike 2012.

Category: Testing

Build-type: Simple

Extra-source-files:

Cabal-version: >=1.10

source-repository head

type: git

location: https://github.com/leepike/SmartCheck.git

flag regression-flag

default: False

description: add libraries for regression testing

Library

Exposed-modules: Test.SmartCheck,

Test.SmartCheck.Args,

Test.SmartCheck.ConstructorGen,

Test.SmartCheck.DataToTree,

Test.SmartCheck.Extrapolate,

Test.SmartCheck.Matches,

Test.SmartCheck.Reduce,

Test.SmartCheck.Render,

Test.SmartCheck.SmartGen,

Test.SmartCheck.Test,

Test.SmartCheck.Types

if flag(regression-flag)

Build-depends: base >= 4.0 && < 5,

QuickCheck == 2.8.2,

mtl,

random >= 1.0.1.1,

containers >= 0.4,

generic-deriving >= 1.2.1,

ghc-prim,

lazysmallcheck

else

Build-depends: base >= 4.0 && < 5,

QuickCheck == 2.8.2,

mtl,

random >= 1.0.1.1,

containers >= 0.4,

generic-deriving >= 1.2.1,

ghc-prim

default-language: Haskell2010

hs-source-dirs: src

ghc-options:

-Wall

-fwarn-tabs

-fno-warn-orphans

executable sc-qc

Hs-source-dirs: qc-tests

Main-is: Tests.hs

Build-depends: base >= 4.0 && < 5,

smartcheck,

QuickCheck == 2.8.2,

mtl,

random >= 1.0.1.1,

containers >= 0.4,

generic-deriving >= 1.2.1,

ghc-prim

Default-language: Haskell2010

Ghc-options: -Wall