rebar.config

{erl_opts, [
    debug_info,
    warn_missing_spec,
    warnings_as_errors
]}.
{minimum_otp_vsn, "19.3"}.
{deps, []}.
{project_plugins, [erlfmt, rebar3_proper, rebar3_hex, covertool, rebar3_lint, rebar3_hank]}.
{profiles, [
    {test, [
        {deps, [{proper, "1.3.0"}]},
        {erl_opts, [nowarn_missing_spec, nowarn_export_all]},
        {dialyzer, [{plt_extra_apps, [proper]}]},
        {cover_enabled, true},
        {cover_opts, [verbose]}
    ]}
]}.

{erlfmt, [
          {files, "{src,include,test}/*.{hrl,erl}"}
         ]}.

{edoc_opts, [
    {doclet, edoc_doclet_chunks},
    {layout, edoc_layout_chunks},
    {preprocess, true},
    {dir, "_build/default/lib/verl/doc"}]}.

{xref_ignores, [verl, {verl_parser, parse_version, 2}]}.

{alias, [{quick_test, [{proper, "--cover --numtests=3"},
                       {eunit, "--cover"},
                       {cover, "-v"}]},
         {test, [{ct, "-c"}, {proper, "--cover"}, {eunit, "--cover"}, {cover, "-v"}]},
         {check, [{proper, "--cover --numtests=3"},
                  {eunit, "--cover"},
                  xref, dialyzer, cover]}]}.

{xref_checks,[undefined_function_calls,locals_not_used,
              deprecated_function_calls,exports_not_used]}.

{dialyzer, [
    {warnings, [
        error_handling,
        unknown,
        unmatched_returns
    ]}
]}.