erlang - ?SUCHTHAT vs ?IMPLIES in quickcheck

Question

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

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

Answer 1

它们是相似的：

• ?SUCHTHAT创建一个生成器，它还确保每个生成的值都满足一个约束。
• ?IMPLIES创建一个属性，它有一个额外的可能结果，即“跳过”。您可以在生成所有值后使用它。