quickcheck-state-machine-0.7.0: quickcheck-state-machine.cabal

cabal-version: >=1.10
name: quickcheck-state-machine
version: 0.7.0
license: BSD3
license-file: LICENSE
copyright: Copyright (C) 2017-2018, ATS Advanced Telematic Systems GmbH;
           2018-2019, HERE Europe B.V.;
           2019-2020, Stevan Andjelkovic.
maintainer: Stevan Andjelkovic <stevan.andjelkovic@strath.ac.uk>
author: Stevan Andjelkovic
tested-with: ghc ==8.4.3 ghc ==8.6.5 ghc ==8.8.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.DotDrawing
        Test.StateMachine.Labelling
        Test.StateMachine.Lockstep.Auxiliary
        Test.StateMachine.Lockstep.NAry
        Test.StateMachine.Lockstep.Simple
        Test.StateMachine.Logic
        Test.StateMachine.Markov
        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,
        directory >=1.0.0.0,
        exceptions >=0.8.3,
        filepath >=1.0,
        generic-data >=0.3.0.0,
        graphviz >=2999.20.0.3,
        markov-chain-usage-model >=0.0.0,
        matrix >=0.3.5.0,
        mtl >=2.2.1,
        time >=1.7,
        pretty-show >=1.6.16,
        process >=1.2.0.0,
        QuickCheck >=2.12,
        random >=1.1,
        sop-core >=0.5.0.0,
        split >=0.2.3.4,
        text >=1.2.4.0,
        tree-diff >=0.0.2.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:
        Bookstore
        CircularBuffer
        Cleanup
        CrudWebserverDb
        DieHard
        Echo
        ErrorEncountered
        Hanoi
        IORefs
        MemoryReference
        Mock
        Overflow
        ProcessRegistry
        Schema
        RQlite
        ShrinkingProps
        SQLite
        TicketDispenser
        UnionFind
    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:
        aeson >=1.4.6.0,
        array >=0.5.4.0,
        base >=4.13.0.0,
        bifunctors >=5.5.7,
        bytestring >=0.10.10.0,
        containers >=0.6.2.1,
        directory >=1.3.6.0,
        doctest >=0.16.2,
        filelock >=0.1.1.4,
        filepath >=1.4.2.1,
        hashable >=1.3.0.0,
        hashtables >=1.2.3.4,
        hs-rqlite >=0.1.2.0,
        HTTP >=4000.3.14,
        http-client >=0.6.4.1,
        monad-logger >=0.3.32,
        mtl >=2.2.2,
        network >=3.1.1.1,
        persistent >=2.10.3,
        persistent-postgresql >=2.10.1,
        persistent-sqlite >=2.10.2,
        persistent-template >=2.8.2.3,
        postgresql-simple >=0.6.2,
        pretty-show >=1.10,
        process >=1.6.8.0,
        QuickCheck >=2.13.2,
        quickcheck-instances >=0.3.22,
        quickcheck-state-machine -any,
        random >=1.1,
        resourcet >=1.2.3,
        resource-pool >=0.2.3.2,
        servant >=0.16.2,
        servant-client >=0.16.0.1,
        servant-server >=0.16.2,
        split >=0.2.3.4,
        stm >=2.5.0.0,
        strict >=0.3.2,
        string-conversions >=0.4.0.1,
        tasty >=1.2.3,
        tasty-hunit >=0.10.0.2,
        tasty-quickcheck >=0.10.1.1,
        text >=1.2.4.0,
        tree-diff >=0.0.2.1,
        time >=1.9.3,
        vector >=0.12.0.1,
        wai >=3.2.2.1,
        warp >=3.3.9,
        unliftio >=0.2.12.1,
        unliftio-core >=0.1.2.0