? SUCHTHAT vs IMPLIES in quickcheck

Question

In Triq, PropEr, Quickcheck in Erlang, was ist der Unterschied zwischen der Verwendung einer ?SUCHTHAT Eigenschaft und der ?IMPLIES?

Von was verstehen sie sind beide Spezialisierungen der Werte von Generatoren erzeugt.

Answer 1

Sie sind ähnlich:

• ?SUCHTHAT schafft eine Generator, der zusätzlich sichergestellt, dass jeder erzeugte Wert eine Randbedingung erfüllt.
• ?IMPLIES erstellt eine Eigenschaft, die ein zusätzliches mögliches Ergebnis hat, nämlich "überspringen". Sie können es verwenden, nachdem alle Werte generiert wurden.