name: quickcheck-state-machine
version: 0.7.3
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-2023, 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, GHC == 8.10.7, GHC == 9.6.1
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
-Wno-prepositive-qualified-module
-Wno-missing-safe-haskell-mode
-Wno-missing-kind-signatures
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-client,
monad-logger,
mtl,
network,
-- if we want to use later versions of persistent, we
-- need to make some minor changes to the test suite:
persistent >= 2.10.4 && < 2.11,
persistent-postgresql,
persistent-sqlite < 2.11,
persistent-template < 2.11,
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,
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
-Wno-prepositive-qualified-module
-Wno-missing-safe-haskell-mode
default-language: Haskell2010
source-repository head
type: git
location: https://github.com/stevana/quickcheck-state-machine