testing - 测试框架/快速检查/cabal : Passing options to testfunction with 'cabal test'

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 的维护者。)