-
Notifications
You must be signed in to change notification settings - Fork 2
/
quickcheck-lockstep.cabal
103 lines (99 loc) · 2.85 KB
/
quickcheck-lockstep.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
cabal-version: 2.4
name: quickcheck-lockstep
version: 0.5.0
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