name: quickcheck-state-machine
version: 0.0.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.IxMap
        Test.StateMachine.Internal.Parallel
        Test.StateMachine.Internal.ScopeCheck
        Test.StateMachine.Internal.Sequential
        Test.StateMachine.Internal.Types
        Test.StateMachine.Internal.Types.IntRef
        Test.StateMachine.Internal.Utils
        Test.StateMachine.Internal.Utils.BoxDrawer
        Test.StateMachine.Types
    build-depends:
        ansi-wl-pprint >=0.6.7.3 && <0.7,
        base >=4.7 && <5,
        constraints >=0.9.1 && <0.10,
        containers >=0.5.7.1 && <0.6,
        mtl >=2.2.1 && <2.3,
        parallel-io >=0.3.3 && <0.4,
        QuickCheck >=2.9.2 && <2.10,
        random ==1.1.*,
        singletons ==2.2.*,
        stm >=2.4.4.1 && <2.5
    default-language: Haskell2010
    hs-source-dirs: src

test-suite quickcheck-state-machine-test
    type: exitcode-stdio-1.0
    main-is: Spec.hs
    build-depends:
        base >=4.9.1.0 && <4.10,
        hspec >=2.4.3 && <2.5,
        mtl >=2.2.1 && <2.3,
        QuickCheck >=2.9.2 && <2.10,
        quickcheck-state-machine >=0.0.0 && <0.1,
        random ==1.1.*
    default-language: Haskell2010
    hs-source-dirs: test
    ghc-options: -threaded -rtsopts -with-rtsopts=-N