name:                quickcheck-state-machine
version:             0.7.1
synopsis:            Test monadic programs using state machine based models
description:         See README at <https://github.com/stevana/quickcheck-state-machine#readme>
homepage:            https://github.com/stevana/quickcheck-state-machine#readme
license:             BSD3
license-file:        LICENSE
author:              Stevan Andjelkovic
maintainer:          Stevan Andjelkovic <stevan.andjelkovic@strath.ac.uk>
copyright:           Copyright (C) 2017-2018, ATS Advanced Telematic Systems GmbH;
                                   2018-2019, HERE Europe B.V.;
                                   2019-2021, Stevan Andjelkovic.
category:            Testing
build-type:          Simple
extra-source-files:  README.md
                   , CHANGELOG.md
                   , CONTRIBUTING.md
cabal-version:       >=1.10
tested-with:         GHC == 8.4.3, GHC == 8.6.5, GHC == 8.8.3

library
  hs-source-dirs:      src
  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
  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
  other-modules:
      Paths_quickcheck_state_machine
  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,
        split,
        text,
        tree-diff >=0.0.2.1,
        unliftio >=0.2.7.0
  default-language:    Haskell2010

test-suite quickcheck-state-machine-test
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             Spec.hs
  build-depends:       aeson,
                       array,
                       base,
                       bifunctors,
                       bytestring,
                       containers,
                       directory,
                       doctest,
                       filelock,
                       filepath,
                       hashable,
                       hashtables,
                       hs-rqlite >= 0.1.2.0,
                       HTTP,
                       http-client,
                       monad-logger,
                       mtl,
                       network,
                       persistent >= 2.10.3,
                       persistent-postgresql,
                       persistent-sqlite,
                       persistent-template,
                       postgresql-simple,
                       pretty-show,
                       process,
                       QuickCheck,
                       quickcheck-instances,
                       quickcheck-state-machine,
                       random,
                       resourcet,
                       resource-pool,
                       servant,
                       servant-client,
                       servant-server,
                       split,
                       stm,
                       strict,
                       string-conversions,
                       tasty,
                       tasty-hunit,
                       tasty-quickcheck,
                       text,
                       tree-diff,
                       time,
                       vector >=0.12.0.1,
                       wai,
                       warp,
                       unliftio,
                       unliftio-core

  other-modules:       Bookstore,
                       CircularBuffer,
                       Cleanup,
                       CrudWebserverDb,
                       DieHard,
                       Echo,
                       ErrorEncountered,
                       Hanoi,
                       IORefs,
                       MemoryReference,
                       Mock,
                       Overflow,
                       ProcessRegistry,
                       Schema,
                       RQlite,
                       ShrinkingProps,
                       SQLite,
                       TicketDispenser,
                       UnionFind

  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
  default-language:    Haskell2010

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