Описание тега triq
Triq - это чистая Erlang реализация стиля тестирования QuickCheck.
1
ответ
Генерация случайного правила для теста на основе свойств
Я использую Triq ( erlang quickcheck), и у меня возникают проблемы при создании наборахороших правил для моей программы. То, что я хочу генерировать, это вещи, которые выглядят так: A -> B где я хотел бы предоставить Aи размерBс последним, не име…
06 апр '16 в 06:05
1
ответ
Не допускайте тайм-аута при запуске тестов Triq
Как я могу изменить время ожидания для eunit в конфигурации rebar3? Мой бегун eunit истекает, когда я запускаю тесты Triq на основе свойств: ===> Verifying dependencies... ===> Compiling ierminer ===> Performing EUnit tests... Pending: test…
05 апр '16 в 19:02
1
ответ
Как получить образец генератора?
Я использую Triq, чтобы написать свой тест на основе свойств. Как я могу увидеть, какие данные генерирует мой генератор? Допустим, у меня есть следующий генератор: -module (my). -include_lib("triq/include/triq.hrl"). -export([valid_type_gen/1]). val…
06 апр '16 в 03:11
1
ответ
? ТАКЖЕ против? ПОДРАЗУМЕВАЕТ в quickcheck?
В Triq, PropEr, Quickcheck в Erlang какая разница между использованием ?SUCHTHAT собственность и ?IMPLIES? Из того, что понимают, они оба являются специализациями значений, производимых генераторами.
07 апр '16 в 01:02