scala - 如何在属性检查中指定对 forAll 方法的检查次数

Question

该forAll方法采用生成器并对其执行多次检查。默认通过生成器的 100 次检查。运行次数成倍增加，如果您使用多个生成器，您可能很快就会变得太大。

我想根据它们的重要性对生成器进行排序，并减少无关紧要的检查。所以我需要以某种方式指定每个生成器需要运行多少次。我查看了生成器和forAll方法的 API，但没有发现任何线索。它们都不接受可能指定检查运行行为的参数。

scalatest 为 scalacheck 的forAll方法提供包装器。所以我正在寻找包装或原件的解决方案。

Answer 1

无论您使用多少生成器，ScalaCheck 都只会运行 100 个（默认情况下）测试。该forAll方法不知道要运行多少测试，它只会评估一次属性。Test.check将调用forAll指定的次数。