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 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 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