Question

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

cabal configure --enable-tests
cabal build
cabal test

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

是否有可能传递类似

的内容

--maximum-generated-tests=5000

通过cabal测试可执行文件？我试过像

这样的东西

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

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

非常感谢提前！

朱

Answer 1

你错过了破折号：

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

此外，如果生成的测试太少，您的财产就会满足，那么SmallCheck可能会更好。它不是随机的，因此会找到满足给定搜索空间条件的所有输入。（披露：我是SmallCheck的维护者。）