lib:quickcheck-state-machine

Modules

• Test.StateMachine
• Test.StateMachine.BoxDrawer
• Test.StateMachine.ConstructorName
• Test.StateMachine.DotDrawing
• Test.StateMachine.Labelling
• Test.StateMachine.Lockstep.Auxiliary
• Test.StateMachine.Lockstep.NAry
• Test.StateMachine.Lockstep.Simple
• Test.StateMachine.Logic
• Test.StateMachine.Markov
• 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.12
• ansi-wl-pprint lib:ansi-wl-pprint >=0.6.7.3
• base lib:base >=4.10 && <5
• containers lib:containers >=0.5.7.1
• directory lib:directory >=1.0.0.0
• exceptions lib:exceptions >=0.8.3
• filepath lib:filepath >=1.0
• generic-data lib:generic-data >=0.3.0.0
• graphviz lib:graphviz >=2999.20.0.3
• markov-chain-usage-model lib:markov-chain-usage-model >=0.0.0
• matrix lib:matrix >=0.3.5.0
• mtl lib:mtl >=2.2.1
• pretty-show lib:pretty-show >=1.6.16
• process lib:process >=1.2.0.0
• random lib:random >=1.1
• sop-core lib:sop-core >=0
• split lib:split >=0
• text lib:text >=0
• time lib:time >=1.7
• tree-diff lib:tree-diff >=0.0.2.1
• unliftio lib:unliftio >=0.2.7.0

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
• roboservant lib:roboservant
• roboservant test:roboservant-test