@hackage / quickcheck-dynamic

A library for stateful property-based testing

4.0.1

Dependents

@cardano / cardano-lmdb-simple Simple API for LMDB
- Version: 0.8.1.1
- Last uploaded: 4 months ago
- License: BSD-3-Clause
@cardano / cardano-node-emulator
- Version: 1.4.1.0
- Last uploaded: 4 months ago
- License: NONE
@cardano / hydra-node The Hydra node
- Version: 0.14.0
- Last uploaded: 2 years ago
- License: Apache-2.0
@hackage / lsm-tree Log-structured merge-trees
- Version: 1.0.0.2
- Last uploaded: 2 months ago
- License: Apache-2.0
@cardano / ouroboros-consensus Consensus layer for the Ouroboros blockchain protocol
- Version: 3.0.1.0
- Last uploaded: 2 months ago
- License: Apache-2.0
@cardano / ouroboros-consensus-diffusion Integration for the Ouroboros Network layer
- Version: 0.26.0.0
- Last uploaded: 4 months ago
- License: Apache-2.0
@cardano / quickcheck-contractmodel
- Version: 0.1.7.0
- Last uploaded: about 1 year ago
- License: NONE
@hackage / quickcheck-lockstep Library for lockstep-style testing with 'quickcheck-dynamic'
- Version: 0.8.3
- Last uploaded: 3 months ago
- License: BSD-3-Clause