Ich benutze Triq, um meinen eigenschaftsbasierten Test zu schreiben. Wie kann ich sehen, welche Art von Daten mein Generator produziert? Lassen Sie uns sagen, ich habe die folgende Generator: -module
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 Ge