test:spec

Dependencies

• QuickCheck lib:QuickCheck >=2.5.1
• base lib:base >=4.5
• hspec lib:hspec >=2.1
• z3 lib:z3 >=0

Reverse dependencies

None.