Test.Framework.Providers.SmallCheck

This module allows to use SmallCheck properties in test-framework.

Documentation

testProperty :: Testable a => TestName -> a -> Test

Create a Test for a SmallCheck Testable property

withDepth :: Depth -> Test -> Test

Change the default maximum test depth for a given Test.

This is a simple wrapper around plusTestOptions.