？快速检查中的SUCHTHAT vs？IMPLIES

Question

在Triq，PropEr中，在Erlang中快速检查使用?SUCHTHAT属性与?IMPLIES之间的区别是什么？

从理解它们都是生成器产生的值的特化。

Answer 1

他们是相似的：

• ?SUCHTHAT创建生成器，此外还可确保每个生成的值都满足约束条件。
• ?IMPLIES创建属性，其中包含其他可能的结果，即“skip”。您可以在生成所有值后使用它。