Test.Framework“plusTestOptions”和“testProperty”

我有一个单独的 QuickCheck2 属性，我想运行超过标准 100 次，但我一直不知道如何说服Test.Framework运行更多使用plusTestOptions -- the testProperty失败并显示“0 次测试后参数耗尽”。

相关代码片段：

mkMsysTests :: TestArgs -> [Test]
mkMsysTests opts =
  [ testGroup "foo"
    [ plusTestOptions testOptions_more (testProperty "bar" prop_bar) ]
  ]

testOptions_more =
  TestOptions { topt_seed = Nothing
              , topt_maximum_unsuitable_generated_tests = Nothing
              , topt_maximum_test_size = Just 500
              , topt_maximum_test_depth = Nothing
              , topt_timeout = Nothing
              , topt_maximum_generated_tests = Just 10000
              }

理论上，这应该测试该属性 10,000 次。但事实并非如此。有没有好的文档或示例演示如何使用TestOptions运行性能测试超过标准 100 次？

答案是必须增加不合适的测试数量，topt_maximum_unsuitable_generated_tests，使其大于或等于生成的测试的数量，topt_maximum_generated_tests。另外，应该使用mempty实例并使用更新的记录成员对其进行修改。修改后的代码片段为：

import           Data.Monoid (mempty)
import           Test.Framework (Test, defaultMainWithArgs, plusTestOptions, testGroup)
import           Test.Framework.Options               (TestOptions' (..))
import           Test.Framework.Providers.HUnit       (testCase)
import           Test.Framework.Providers.QuickCheck2 (testProperty)
import           Test.HUnit                           (Assertion, assertBool, assertFailure)
import           Test.QuickCheck                      (Property, choose, forAll)

{- list of tests -}
mkMsysTests :: TestArgs -> [Test]
mkMsysTests opts =
  [ testGroup "foo"
    [ plusTestOptions testOptions_more (testProperty "bar" prop_bar) ]
  ]

testOptions_more =
  mempty { topt_maximum_unsuitable_generated_tests = Just 10000
         , topt_maximum_generated_tests = Just 10000
         }

我没有很好的解释为什么Test.Framework如果不合适的测试数量少于生成的测试数量，则代码放弃；我只是对代码进行了快速的“眼球”扫描并注意到了修复。