问题标签 [triq]

如何更改 rebar3 配置中 eunit 的超时时间？

当我运行基于属性的 Triq 测试时，我的 eunit 运行器超时：

这是我的属性规范：

这是我从我的 eunit 测试函数中调用它的方式：

我正在使用Triq编写基于属性的测试。如何查看我的生成器生成的数据类型？

假设我有以下生成器：

我想检查它生成什么样的数据，例如：

我正在使用Triq (erlang quickcheck)，我无法为我的程序生成一组好的规则。

我想要生成的是看起来像这样的东西：

我想提供A的位置和大小B，后者没有任何重复项。

例如，如果我说用[a]大小为 4 的 LHS 和 RHS（即A = [a]和size(B) = 4）生成我的规则，我想得到这样的东西：

请注意，我不希望B 中有任何重复项（这是我遇到问题的部分）。此外， B由什么组成并不重要——它可以是任何东西，只要它是不同的并且没有重复。

我的规格太乱了，无法在这里展示，所以我宁愿不展示。

?SUCHTHAT在 Triq、PropEr、Erlang 中的 Quickcheck 中，使用属性和使用属性有什么区别?IMPLIES？

据了解，它们都是生成器产生的值的特化。