@hackage quickcheck-state-machine0.10.2

Test monadic programs using state machine based models

Categories
- Testing
License
BSD-3-Clause
Maintainer
Stevan Andjelkovic <stevan.andjelkovic@strath.ac.uk>
Links
Versions
- 0.10.2 Thu, 17 Jul 2025
- 0.10.1 Thu, 5 Sep 2024
- 0.10.0 Tue, 28 May 2024
- 0.9.0 Tue, 16 Jan 2024
- 0.8.0 Fri, 17 Nov 2023
- 0.7.3 Thu, 1 Jun 2023

Installation
In your cabal file:
Tested Compilers
Dependencies (32)
- base
- bytestring >=0.10.4.0 && <0.13
- containers
- text
- vector >=0.12.0.1 && <0.14
- MemoTrie >=0.6.8 && <0.7
Dependents (9)
@cardano/ouroboros-consensus-diffusion, @hackage/fs-sim, @hackage/roboservant, @cardano/fs-sim, @hackage/acme-everything, @hackage/resource-registry, Show all…

See README at https://github.com/stevana/quickcheck-state-machine#readme