Как получить образец генератора?

Я использую Triq, чтобы написать свой тест на основе свойств. Как я могу увидеть, какие данные генерирует мой генератор?

Допустим, у меня есть следующий генератор:

-module (my).
-include_lib("triq/include/triq.hrl").
-export([valid_type_gen/1]).

valid_type_gen() -> non_empty(list(any())).

Я хотел бы изучить, какие данные он генерирует, то есть что-то вроде:

$ rebar3 shell
1> my:valid_type_gen().sample() %???
[1,b,"blah"]

1 ответ

Хорошо, я понял это, мне просто нужно вызвать функцию примера:

1> hd(triq_dom:sample(my:valid_type_gen())).
[8,4,3,7,6,8,11,7,5,7]

Это создаст кучу образцов, и я возьму первый.

Другие вопросы по тегам