lib:quickcheck-state-machine

Modules

• Test.StateMachine
• Test.StateMachine.BoxDrawer
• Test.StateMachine.ConstructorName
• 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

Dependencies

• QuickCheck lib:QuickCheck >=2.9.2
• ansi-wl-pprint lib:ansi-wl-pprint >=0.6.7.3
• base lib:base >=4.10 && <5
• containers lib:containers >=0.5.7.1
• exceptions lib:exceptions >=0.8.3
• matrix lib:matrix >=0.3.5.0
• mtl lib:mtl >=2.2.1
• pretty-show lib:pretty-show >=1.9.5
• tree-diff lib:tree-diff >=0.0.2
• unliftio lib:unliftio >=0.2.7.0
• vector lib:vector >=0.12.0.1

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