? SUCHTHAT vs? ПОДРАЗУМЕВАЕТСЯ в quickcheck

Question

В Triq, PropEr, Quickcheck в Эрланге, в чем разница между использованием свойства ?SUCHTHAT и ?IMPLIES?

Из того, что они понимают, они являются специализациями значений, создаваемых генераторами.

Answer 1

Они подобны:

• ?SUCHTHAT создает генератор, что дополнительно гарантирует, что каждое сгенерированное значение удовлетворяет ограничению.
• ?IMPLIES создает объект, который имеет дополнительный возможный результат, а именно «пропустить». Вы можете использовать его после создания всех значений.