test-framework-quickcheck2-0.2.7: QuickCheck2 support for the test-framework package.



Allows QuickCheck2 properties to be used with the test-framework package.

For an example of how to use test-framework, please see http://github.com/batterseapower/test-framework/raw/master/example/Test/Framework/Example.lhs

Due to technical limitations of the QuickCheck2 package, it's not possible to correlate arguments that caused the failure with the particular Test that caused them. This means that the arguments to your properties that lead to failure will be printed at non-deterministic positions in the stdout stream. Sorry.



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

Create a Test for a QuickCheck2 Testable property