cabal-version: >=1.10
name: quickcheck-state-machine
version: 0.6.0
license: BSD3
license-file: LICENSE
copyright: Copyright (C) 2017-2018, ATS Advanced Telematic Systems GmbH;
           2018-2019, HERE Europe B.V.
maintainer: Stevan Andjelkovic <stevan.andjelkovic@here.com>
author: Stevan Andjelkovic
tested-with: ghc ==8.2.2 ghc ==8.4.3 ghc ==8.6.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,
        base >=4.10 && <5,
        containers >=0.5.7.1,
        exceptions >=0.8.3,
        matrix >=0.3.5.0,
        mtl >=2.2.1,
        pretty-show >=1.9.5,
        QuickCheck >=2.9.2,
        tree-diff >=0.0.2,
        vector >=0.12.0.1,
        unliftio >=0.2.7.0

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
        ErrorEncountered
        MemoryReference
        TicketDispenser
        ShrinkingProps
    default-language: Haskell2010
    ghc-options: -threaded -rtsopts -with-rtsopts=-N
                 -fno-ignore-asserts -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.12.0.0,
        bytestring >=0.10.8.2,
        containers >=0.6.0.1,
        directory >=1.3.3.0,
        doctest >=0.16.0.1,
        filelock >=0.1.1.2,
        filepath >=1.4.2.1,
        http-client >=0.5.14,
        matrix >=0.3.5.0,
        monad-logger >=0.3.30,
        mtl >=2.2.2,
        network >=2.8.0.0,
        persistent >=2.9.0,
        persistent-postgresql >=2.9.0,
        persistent-template >=2.5.4,
        pretty-show >=1.9.5,
        process >=1.6.3.0,
        QuickCheck >=2.9.2,
        quickcheck-instances >=0.3.19,
        quickcheck-state-machine -any,
        random >=1.1,
        resourcet >=1.2.2,
        servant >=0.15,
        servant-client >=0.15,
        servant-server >=0.15,
        strict >=0.3.2,
        string-conversions >=0.4.0.1,
        tasty >=1.2,
        tasty-hunit >=0.10.0.1,
        tasty-quickcheck >=0.10,
        text >=1.2.3.1,
        tree-diff >=0.0.2,
        vector >=0.12.0.1,
        wai >=3.2.1.2,
        warp >=3.2.25,
        unliftio >=0.2.10