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.

然而，大多数时候我使用你的提取技巧来避免大的自然数。