В Triq, PropEr, Quickcheck в Эрланге, в чем разница между использованием свойства ?SUCHTHAT и ?IMPLIES? Из того, что они понимают, они являются специализациями значений, создаваемых генераторами.
Я использую PropEr, чтобы написать свой тест на основе собственности. Как я могу узнать, какие данные производит мой генератор? Скажем, у меня есть следующий генератор: -module(my).
-include_lib("pro