如何在属性检查中为 forAll 方法指定检查次数

Question

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

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

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

Answer 1

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