úÎÃ,"Roman Cheplyaka <roma@ro-che.info> Create a  for a SmallCheck  property 2Change the default maximum test depth for a given .  This is a simple wrapper around  .        test-framework-smallcheck-0.1#Test.Framework.Providers.SmallCheck testProperty withDepthResultFailPassTimeouttest-framework-0.4.2.0Test.Framework.CoreTestsmallcheck-0.6Test.SmallCheck.PropertyTestableplusTestOptions runSmallCheck