name: quickcheck-state-machine
version: 0.2.0
cabal-version: >=1.10
build-type: Simple
license: BSD3
license-file: LICENSE
copyright: Copyright (C) 2017, ATS Advanced Telematic Systems GmbH
maintainer: Stevan Andjelkovic <stevan@advancedtelematic.com>
homepage: https://github.com/advancedtelematic/quickcheck-state-machine#readme
synopsis: Test monadic programs using state machine based models
description:
    See README at <https://github.com/advancedtelematic/quickcheck-state-machine#readme>
category: Testing
author: Stevan Andjelkovic
tested-with: GHC ==8.0.2
extra-source-files:
    README.md
    CHANGELOG.md

source-repository head
    type: git
    location: https://github.com/advancedtelematic/quickcheck-state-machine

library
    exposed-modules:
        Test.StateMachine
        Test.StateMachine.Internal.AlphaEquality
        Test.StateMachine.Internal.Parallel
        Test.StateMachine.Internal.ScopeCheck
        Test.StateMachine.Internal.Sequential
        Test.StateMachine.Internal.Types
        Test.StateMachine.Internal.Types.Environment
        Test.StateMachine.Internal.Utils
        Test.StateMachine.Internal.Utils.BoxDrawer
        Test.StateMachine.TH
        Test.StateMachine.Types
        Test.StateMachine.Types.Generics
        Test.StateMachine.Types.Generics.TH
        Test.StateMachine.Types.HFunctor
        Test.StateMachine.Types.HFunctor.TH
        Test.StateMachine.Types.History
        Test.StateMachine.Types.References
        Test.StateMachine.Z
    build-depends:
        ansi-wl-pprint >=0.6.7.3 && <0.7,
        async >=2.1.1.1 && <2.2,
        base >=4.7 && <5,
        containers >=0.5.7.1 && <0.6,
        lifted-async >=0.9.3 && <0.10,
        lifted-base >=0.2.3.11 && <0.3,
        monad-control >=1.0.2.2 && <1.1,
        mtl >=2.2.1 && <2.3,
        QuickCheck >=2.9.2 && <2.10,
        quickcheck-with-counterexamples >=1.0 && <2.0,
        random ==1.1.*,
        stm >=2.4.4.1 && <2.5,
        template-haskell >=2.11.1.0 && <2.12,
        th-abstraction >=0.2.6.0 && <0.3
    default-language: Haskell2010
    hs-source-dirs: src
    other-modules:
        Test.StateMachine.Utils

test-suite quickcheck-state-machine-test
    type: exitcode-stdio-1.0
    main-is: Spec.hs
    build-depends:
        base >=4.9.1.0 && <4.10
    default-language: Haskell2010
    hs-source-dirs: test
    ghc-options: -threaded -rtsopts -with-rtsopts=-N