cabal-version:      2.4
name:               quickcheck-lockstep
version:            0.5.0
x-revision: 1
license:            BSD-3-Clause
license-file:       LICENSE
author:             Edsko de Vries
maintainer:         edsko@well-typed.com, joris@well-typed.com
extra-doc-files:    README.md
extra-source-files: CHANGELOG.md
category:           Testing
synopsis:           Library for lockstep-style testing with 'quickcheck-dynamic'
description:        Lockstep-style testing is a particular approach for blackbox
                    testing of stateful APIs: we generate a random sequence of
                    APIs calls, then execute them both against the system under
                    test and against a model, and compare responses up to some
                    notion of observability.
tested-with:        GHC ==8.10 || ==9.0 || ==9.2 || ==9.4 || ==9.6 || ==9.8

source-repository head
  type:     git
  location: https://github.com/well-typed/quickcheck-lockstep

common lang
  default-language:
      Haskell2010
  default-extensions:
      FlexibleContexts
      FlexibleInstances
      GADTs
      ImportQualifiedPost
      LambdaCase
      MultiParamTypeClasses
      QuantifiedConstraints
      RankNTypes
      ScopedTypeVariables
      StandaloneDeriving
      TupleSections
      TypeApplications
      TypeFamilies
  other-extensions:
      UndecidableInstances
  ghc-options:
      -Wall
      -Wprepositive-qualified-module
      -Wredundant-constraints

library
  import:
      lang
  exposed-modules:
      Test.QuickCheck.StateModel.Lockstep
      Test.QuickCheck.StateModel.Lockstep.Defaults
      Test.QuickCheck.StateModel.Lockstep.Op
      Test.QuickCheck.StateModel.Lockstep.Op.Identity
      Test.QuickCheck.StateModel.Lockstep.Op.SumProd
      Test.QuickCheck.StateModel.Lockstep.Run
  other-modules:
      Test.QuickCheck.StateModel.Lockstep.API
      Test.QuickCheck.StateModel.Lockstep.EnvF
      Test.QuickCheck.StateModel.Lockstep.GVar
  build-depends:
      -- quickcheck-dynamic requires ghc 8.10 minimum
      base               >= 4.14   && < 4.20
    , constraints        >= 0.13   && < 0.15
    , mtl                >= 2.2    && < 2.4
    , containers         >= 0.6    && < 0.7
    , QuickCheck         >= 2.14   && < 2.15
    , quickcheck-dynamic >= 3.4.1  && < 3.5
  hs-source-dirs:
      src

test-suite test-quickcheck-lockstep
  import:
      lang
  type:
      exitcode-stdio-1.0
  hs-source-dirs:
      test
  main-is:
      Main.hs
  other-modules:
      Test.MockFS
      Test.MockFS.Mock
      Test.IORef.Full
      Test.IORef.Simple
  default-extensions:
      DeriveGeneric
      EmptyCase
  build-depends:
      -- Version bounds determined by main lib
      base
    , constraints
    , containers
    , directory
    , filepath
    , mtl
    , QuickCheck
    , quickcheck-dynamic
    , quickcheck-lockstep
    , tasty
    , tasty-hunit
    , tasty-quickcheck
    , temporary