? ТАКЖЕ против? ПОДРАЗУМЕВАЕТ в quickcheck?

В Triq, PropEr, Quickcheck в Erlang какая разница между использованием ?SUCHTHAT собственность и ?IMPLIES?

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

Источник

1 ответ

Решение

Они подобны:

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