-ifdef(TEST).

-ifndef(prop_testing_hrl).

-define(prop_testing_hrl, true).

-include_lib("proper/include/proper.hrl").

% QuickCheck generators
-define(EQC_STRING_GEN, non_empty(list(choose(32,126)))).   % printable ASCII characters
-define(EQC_ATOM_GEN, ?LET(Name, ?EQC_STRING_GEN, list_to_atom(Name))).
-define(EQC_SORTED_UNIQUE_LIST_GEN(Gen), ?LET(Values2, list(Gen), lists:usort(Values2))).
-define(EQC_UNIQUE_LIST_GEN(Gen), ?LET(List, ?EQC_SORTED_UNIQUE_LIST_GEN(Gen), shuffle(List))).
-define(EQC_BYTE_GEN, choose(0,255)).
-define(EQC_USHORT_GEN, choose(0,65535)).
-define(EQC_ULONG_GEN, choose(0,18446744073709551615)).
-define(EQC_BIN_GEN(MaxSize),
    ?LET(Size,
        choose(0, MaxSize),
        ?LET(List,
            vector(Size, ?EQC_BYTE_GEN),
            list_to_binary(List)))).

-endif.

-endif.