Как изменить тайм-аут для eunit в конфигурации rebar3? Мой eunit бегун таймаут, когда я бегу собственности на основе Triq тесты: ===> Verifying dependencies...
===> Compiling ierminer
===> Performin
Я использую Triq, чтобы написать мой тест на основе собственности. Как я могу узнать, какие данные производит мой генератор? Скажем, у меня есть следующий генератор: -module (my).
-include_lib("triq/
Я использую Triq (erlang quickcheck), и у меня возникают проблемы с созданием набора nice правил для моей программы. То, что я хочу, чтобы создать вещи, которые выглядят следующим образом: A -> B
,
В Triq, PropEr, Quickcheck в Эрланге, в чем разница между использованием свойства ?SUCHTHAT и ?IMPLIES? Из того, что они понимают, они являются специализациями значений, создаваемых генераторами.