The latest version of quickcheck-state-machine is 0.10.1-0.
lib:quickcheck-state-machine
Modules
- Test.StateMachine
- Test.StateMachine.Internal.AlphaEquality
- Test.StateMachine.Internal.IxMap
- Test.StateMachine.Internal.Parallel
- Test.StateMachine.Internal.ScopeCheck
- Test.StateMachine.Internal.Sequential
- Test.StateMachine.Internal.Types
- Test.StateMachine.Internal.Types.IntRef
- Test.StateMachine.Internal.Utils
- Test.StateMachine.Internal.Utils.BoxDrawer
- Test.StateMachine.Types
Dependencies
- QuickCheck lib:QuickCheck >=2.9.2 && <2.10
- ansi-wl-pprint lib:ansi-wl-pprint >=0.6.7.3 && <0.7
- base lib:base >=4.7 && <5
- constraints lib:constraints >=0.9.1 && <0.10
- containers lib:containers >=0.5.7.1 && <0.6
- mtl lib:mtl >=2.2.1 && <2.3
- parallel-io lib:parallel-io >=0.3.3 && <0.4
- random lib:random >=1.1 && <1.2
- singletons lib:singletons >=2.2 && <2.3
- stm lib:stm >=2.4.4.1 && <2.5
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- libraft test:raft-test
- quickcheck-state-machine test:quickcheck-state-machine-test
- quickcheck-state-machine test:test