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

Question

forAll方法接受生成器并对它们执行多次检查。默认情况下，生成器通过100次检查。运行次数乘以，如果使用多个生成器，则可能会快速变大。

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

scalatest为scalacheck的forAll方法提供了包装器。因此，我正在搜索解决方案，无论是包装还是原始。

Answer 1

无论您使用多少个生成器，ScalaCheck都只会运行100个（默认情况下）测试。 forAll方法对运行的测试数量一无所知，只会对属性进行一次评估。 Test.check会拨打forAll指定的次数。