The latest version of quickcheck-state-machine is 0.10.1-0.
lib:no-vendored-treediff
Modules
- Test.StateMachine
- Test.StateMachine.BoxDrawer
- Test.StateMachine.ConstructorName
- Test.StateMachine.Diffing
- Test.StateMachine.DotDrawing
- Test.StateMachine.Labelling
- Test.StateMachine.Lockstep.Auxiliary
- Test.StateMachine.Lockstep.NAry
- Test.StateMachine.Lockstep.Simple
- 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.12 && <2.15
- ansi-wl-pprint lib:ansi-wl-pprint >=0.6.7.3 && <1.1
- base lib:base >=4.10 && <5
- containers lib:containers >=0.5.7.1 && <0.8
- directory lib:directory >=1.0.0.0 && <1.4
- exceptions lib:exceptions >=0.8.3 && <0.11
- filepath lib:filepath >=1.0 && <1.6
- graphviz lib:graphviz >=2999.20.0.3 && <2999.21
- mtl lib:mtl >=2.2.1 && <2.4
- pretty-show lib:pretty-show >=1.6.16 && <1.11
- random lib:random >=1.1 && <1.3
- sop-core lib:sop-core >=0.5.0.2 && <0.6
- split lib:split >=0.2.3.5 && <0.3
- text lib:text >=1.2.3.1 && <2.2
- time lib:time >=1.7 && <1.13
- unliftio lib:unliftio >=0.2.7.0 && <0.3
Reverse dependencies
Direct only. Not exhaustive.
- quickcheck-state-machine lib:quickcheck-state-machine
- resource-registry test:resource-registry-test