Revision history for quickcheck-lockstep
0.5.0 -- 2024-03-25
- BREAKING: Update
quickcheck-dynamic
dependency to >=3.4.1
. The main change
is that quickcheck-dynamic
's StateModel
class now has an associated type
Error
, the use of which is optional. However, as a result, some functions in
quickcheck-lockstep
change type signatures: the default monitoring
function, runActions
, and runActionsBracket
.
0.4.1 -- 2024-03-20
- PATCH: fix compilation failures when using
mtl ^>=2.3
0.4.0 -- 2024-02-17
- BREAKING: Counter-examples now produce valid code. To facilitate this,
HasVariables
and Show
instances have changed, and a new unsafeMkGVar
smart constructor is exposed.
- Add compatibility with ghc-9.8
0.3.0 -- 2023-10-17
- BREAKING: Update
quickcheck-dynamic
dependency to >=3.3
.
- Add compatibility with ghc-9.6 (Javier Sagredo)
0.2.1 -- 2022-12-06
- Expose necessary definitions for custom
Operation
instances (Joris Dral)
0.2.0 -- 2022-11-11
- Relax bounds on
base
(support up to ghc 9.4)
- Show real/mock response in addition to observable response
(see
showRealResponse
)
- Add
labelActions
function
- Generalise
runActionsBracket
(Joris Dral)
- Expose getter for the model in
Lockstep
(Joris Dral)
0.1.0 -- 2022-10-11