Safe Haskell | None |
---|
This module allows to use SmallCheck properties in tasty.
- testProperty :: Testable IO a => TestName -> a -> TestTree
- newtype SmallCheckDepth = SmallCheckDepth Int
Documentation
testProperty :: Testable IO a => TestName -> a -> TestTreeSource
Create a Test
for a SmallCheck Testable
property
newtype SmallCheckDepth Source
The "depth" parameter for SmallCheck