?SUCHTHAT 与 ?IMPLIES 在快速检查中

Question

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

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

Answer 1

它们相似：

• ?SUCHTHAT 创建一个 生成器 ，它还确保每个生成的值都满足约束条件。
• ?IMPLIES 创建一个 属性，它有一个额外的可能结果，即 "skip"。生成所有值后即可使用。