leveled/rebar.config

{erl_opts, [warnings_as_errors,
            {platform_define, "18", old_rand},
            {platform_define, "17", old_rand},
            {platform_define, "^R", old_rand},
            {platform_define, "^R", no_sync}]}.

{profiles,
 [{eqc, [{deps, [meck, fqc]},
    {erl_opts, [debug_info, {parse_transform, lager_transform}, {parse_transform, eqc_cover}]},
    {plugins, [rebar_eqc]}]}
 ]}.