问题标签 [triq]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
1 回答
540 浏览

erlang - 防止 eunit 在运行 Triq 测试时超时

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

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

这是我的属性规范:

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

0 投票
1 回答
53 浏览

erlang - 如何获取生成器的样本?

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

假设我有以下生成器:

我想检查它生成什么样的数据,例如:

0 投票
1 回答
93 浏览

erlang - 为基于属性的测试生成随机规则

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

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

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

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

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

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

0 投票
1 回答
188 浏览

erlang - ?SUCHTHAT vs ?IMPLIES in quickcheck

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

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