forked from advancedtelematic/quickcheck-state-machine
-
Notifications
You must be signed in to change notification settings - Fork 11
/
Copy pathquickcheck-state-machine.cabal
224 lines (205 loc) · 7 KB
/
quickcheck-state-machine.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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
cabal-version: 3.0
name: quickcheck-state-machine
version: 0.10.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: BSD-3-Clause
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-2024, Stevan Andjelkovic.
category: Testing
build-type: Simple
extra-doc-files:
CHANGELOG.md
CONTRIBUTING.md
README.md
tested-with:
GHC ==8.8.4 || ==8.10.7 || ==9.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.2
-- Due to `tree-diff` being `GPL`, this library makes use of an interface
-- (@CanDiff@) to diff models. This can be implemented with the vendored
-- tree-diff or with the upstream one, but we only provide the former in the
-- main library of the package below. See
-- https://github.com/stevana/quickcheck-state-machine#readme for how to depend
-- on either version.
library no-vendored-treediff
visibility: public
hs-source-dirs: src
ghc-options: -Wall
exposed-modules:
Test.StateMachine
Test.StateMachine.BoxDrawer
Test.StateMachine.ConstructorName
Test.StateMachine.Diffing
Test.StateMachine.DotDrawing
Test.StateMachine.Labelling
Test.StateMachine.Lockstep.Auxiliary
Test.StateMachine.Lockstep.NAry
Test.StateMachine.Lockstep.Simple
Test.StateMachine.Logic
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
-- GHC boot library dependencies:
-- (https://gitlab.haskell.org/ghc/ghc/-/blob/master/packages)
build-depends:
, base >=4.10 && <5
, containers >=0.5.7.1 && <0.8
, directory >=1.0.0.0 && <1.4
, exceptions >=0.8.3 && <0.11
, filepath >=1.0 && <1.6
, mtl >=2.2.1 && <2.4
, text >=1.2.3.1 && <2.2
, time >=1.7 && <1.15
build-depends:
, graphviz >=2999.20.0.3 && <2999.21
, pretty-show >=1.6.16 && <1.11
, prettyprinter ^>=1.7.1
, prettyprinter-ansi-terminal ^>=1.1.3
, QuickCheck >=2.12 && <2.16
, random >=1.1 && <1.3
, sop-core >=0.5.0.2 && <0.6
, split >=0.2.3.5 && <0.3
, unliftio >=0.2.7.0 && <0.3
default-language: Haskell2010
library
hs-source-dirs: tree-diff
ghc-options: -Wall
exposed-modules:
Test.StateMachine.TreeDiff
Test.StateMachine.TreeDiff.Class
Test.StateMachine.TreeDiff.Diffing
Test.StateMachine.TreeDiff.Expr
Test.StateMachine.TreeDiff.List
Test.StateMachine.TreeDiff.Pretty
Test.StateMachine.TreeDiff.Tree
reexported-modules:
Test.StateMachine,
Test.StateMachine.BoxDrawer,
Test.StateMachine.ConstructorName,
Test.StateMachine.Diffing,
Test.StateMachine.DotDrawing,
Test.StateMachine.Labelling,
Test.StateMachine.Lockstep.Auxiliary,
Test.StateMachine.Lockstep.NAry,
Test.StateMachine.Lockstep.Simple,
Test.StateMachine.Logic,
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
-- GHC boot library dependencies:
-- (https://gitlab.haskell.org/ghc/ghc/-/blob/master/packages)
build-depends:
, base
, containers
, text
, time
build-depends:
, prettyprinter
, prettyprinter-ansi-terminal
, QuickCheck
, sop-core
-- tree-diff dependencies:
build-depends:
, base-compat >=0.9.3 && <0.15
, bytestring >=0.10.4.0 && <0.13
, generics-sop >=0.3.1.0 && <0.6
, MemoTrie >=0.6.8 && <0.7
, pretty >=1.1.1.1 && <1.2
, quickcheck-state-machine:no-vendored-treediff
, vector >=0.12.0.1 && <0.14
default-language: Haskell2010
test-suite test
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Spec.hs
build-depends:
, array >=0.5.4.0 && <0.6
, base
, bifunctors >=5.5.7 && <5.7
, bytestring
, containers
, directory
, doctest >=0.16.2 && <0.23
, filelock >=0.1.1.4 && <0.2
, filepath
, hashable >=1.3.0.0 && <1.6
, hashtables >=1.2.3.4 && <1.4
, http-client >=0.6.4.1 && <0.8
, monad-logger >=0.3.32 && <0.4
, mtl
, network >=3.1.1.1 && <3.3
, persistent >=2.10.5.2 && <2.15
, persistent-postgresql >=2.10.1.2 && <2.14
, persistent-sqlite >=2.10.6.2 && <2.14
, postgresql-simple >=0.6.2 && <0.8
, pretty-show
, process
, QuickCheck
, quickcheck-instances >=0.3.22 && <0.4
, quickcheck-state-machine
, random
, resource-pool >=0.2.3.2 && <0.5
, resourcet >=1.2.3 && <1.4
, servant-client >=0.16.0.1 && <0.21
, servant-server >=0.16.2 && <0.21
, split >=0.2.3.5 && <0.3
, stm >=2.5.0.0 && <2.6
, strict >=0.3.2 && <0.6
, string-conversions >=0.4.0.1 && <0.5
, tasty >=1.2.3 && <1.6
, tasty-hunit >=0.10.0.2 && <0.11
, tasty-quickcheck >=0.10.1.1 && <0.12
, text
, unliftio
, unliftio-core >=0.1.2.0 && <0.3
, vector
, warp >=3.3.9 && <3.5
other-modules:
Bookstore
CircularBuffer
Cleanup
CrudWebserverDb
DieHard
Echo
ErrorEncountered
Hanoi
IORefs
MemoryReference
Mock
Overflow
ProcessRegistry
Schema
ShrinkingProps
SQLite
TicketDispenser
UnionFind
ghc-options:
-threaded -rtsopts -with-rtsopts=-N -fno-ignore-asserts -Wall
default-language: Haskell2010
source-repository head
type: git
location: https://github.com/stevana/quickcheck-state-machine
source-repository this
type: git
location: https://github.com/stevana/quickcheck-state-machine
tag: v0.10.1