QuickChick在Coq中生成的随机测试数量

Question

每当我在Coq中使用QuickChick时，它的默认值为10000次。有没有办法更改此默认值以生成不同数量的测试？

Answer 1

我想出了办法：

Extract Constant Test.defNumTests => "42".

QuickChick test_predicate.

最多可以对test_predicate进行42次测试：

+++ Passed 42 tests (0 discards)

Answer 2

您还可以尝试使用QuickChickWith，stdArgs和updMaxSuccess，如下所示：

    QuickChickWith (updMaxSuccess stdArgs 42) test_predicate.

但是，大多数时候我使用你的提取黑客来避免大量的自然数。