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

Question

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

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

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

Answer 1

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