cabal-version: >=1.10
name: quickcheck-state-machine
version: 0.4.1
license: BSD3
license-file: LICENSE
copyright: Copyright (C) 2017-2018, ATS Advanced Telematic Systems GmbH;
           2018, HERE Europe B.V.
maintainer: Stevan Andjelkovic <stevan.andjelkovic@here.com>
author: Stevan Andjelkovic
tested-with: ghc ==8.2.2 ghc ==8.4.3
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
build-type: Simple
extra-source-files:
    README.md
    CHANGELOG.md
    CONTRIBUTING.md

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

library
    exposed-modules:
        Test.StateMachine
        Test.StateMachine.BoxDrawer
        Test.StateMachine.ConstructorName
        Test.StateMachine.Logic
        Test.StateMachine.Parallel
        Test.StateMachine.Sequential
        Test.StateMachine.Types
        Test.StateMachine.Types.Environment
        Test.StateMachine.Types.GenSym
        Test.StateMachine.Types.History
        Test.StateMachine.Types.Rank2
        Test.StateMachine.Types.References
        Test.StateMachine.Utils
        Test.StateMachine.Z
    hs-source-dirs: src
    other-modules:
        Paths_quickcheck_state_machine
    default-language: Haskell2010
    ghc-options: -Weverything -Wno-missing-exported-signatures
                 -Wno-missing-import-lists -Wno-missed-specialisations
                 -Wno-all-missed-specialisations -Wno-unsafe -Wno-safe
                 -Wno-missing-local-signatures -Wno-monomorphism-restriction
    build-depends:
        ansi-wl-pprint >=0.6.7.3,
        async >=2.1.1.1,
        base >=4.7 && <5,
        containers >=0.5.7.1,
        exceptions >=0.8.3,
        lifted-async >=0.9.3,
        lifted-base >=0.2.3.11,
        matrix >=0.3.5.0,
        monad-control >=1.0.2.2,
        mtl >=2.2.1,
        pretty-show >=1.7,
        QuickCheck >=2.9.2,
        random >=1.1,
        split >=0.2.3.3,
        stm >=2.4.4.1,
        tree-diff >=0.0.1,
        vector >=0.12.0.1

test-suite quickcheck-state-machine-test
    type: exitcode-stdio-1.0
    main-is: Spec.hs
    hs-source-dirs: test
    other-modules:
        CircularBuffer
        CrudWebserverDb
        DieHard
        Echo
        MemoryReference
        TicketDispenser
    default-language: Haskell2010
    ghc-options: -threaded -rtsopts -with-rtsopts=-N -Weverything
                 -Wno-missing-exported-signatures -Wno-missing-import-lists
                 -Wno-missed-specialisations -Wno-all-missed-specialisations
                 -Wno-unsafe -Wno-safe -Wno-missing-local-signatures
                 -Wno-monomorphism-restriction
    build-depends:
        base >=4.11.1.0,
        bytestring >=0.10.8.2,
        directory >=1.3.1.5,
        doctest >=0.16.0,
        filelock >=0.1.1.2,
        filepath >=1.4.2,
        http-client >=0.5.13.1,
        lifted-async >=0.9.3,
        matrix >=0.3.5.0,
        monad-control >=1.0.2.2,
        monad-logger >=0.3.28.5,
        mtl >=2.2.2,
        network >=2.6.3.6,
        persistent >=2.8.2,
        persistent-postgresql >=2.8.2.0,
        persistent-template >=2.5.4,
        process >=1.6.3.0,
        QuickCheck >=2.9.2,
        quickcheck-instances >=0.3.18,
        quickcheck-state-machine -any,
        random >=1.1,
        resourcet >=1.2.1,
        servant >=0.14.1,
        servant-client >=0.14,
        servant-server >=0.14.1,
        stm >=2.4.5.0,
        strict >=0.3.2,
        string-conversions >=0.4.0.1,
        tasty >=1.1.0.2,
        tasty-hunit >=0.10.0.1,
        tasty-quickcheck >=0.10,
        text >=1.2.3.0,
        tree-diff >=0.0.1,
        vector >=0.12.0.1,
        wai >=3.2.1.2,
        warp >=3.2.23