1

我正在使用 cabal 使用以下命令构建和测试我的项目：

cabal configure --enable-tests
cabal build
cabal test

作为一个框架，我使用测试框架（https://batterseapower.github.io/test-framework/）。一切正常，但是 QuickCheck-tests 的数量默认为 50，这在我的用例中非常少，因为我必须过滤生成的数据以适应某些属性。

有没有可能通过类似的东西

--maximum-generated-tests=5000

通过 cabal 测试可执行文件？我尝试过类似的事情

 cabal test --test-options='maximum-generated-tests=5000'

但到目前为止还没有运气。有没有可能实现这一目标？

提前谢谢了！

朱尔斯

4

1 回答 1

1

你错过了破折号：

cabal test --test-options=--maximum-generated-tests=5000

此外，如果生成的测试太少满足您的属性，您可能会使用SmallCheck获得更好的运气。它不是随机的，因此会在给定的搜索空间中找到满足条件的所有输入。（披露：我是 SmallCheck 的维护者。）

于 2013-12-12T21:45:36.700 回答