rebar.config

{erl_opts, [ debug_info
           , warnings_as_errors
           , warn_export_vars
           , warn_unused_import
           , warn_missing_spec_all
           ]}.

{deps, [{proper, "1.3.0"}]}.

{shell, [ {apps, [proper_contrib]} ]}.

{plugins, [ rebar3_proper
          , coveralls
          ]}.

{minimum_otp_vsn, "21.0"}.

{profiles, [ { debug
             , [ { deps
                 , [ {redbug, "1.2.1"}
                   ]
                 }
               ]
             }
           , { test
             , [ { erl_opts, [ nowarn_export_all
                             , nowarn_missing_spec_all
                             ]
                 }
               , { deps
                 , [ {coveralls, "2.0.1"}
                   , {elvis_core, "0.4.2"}
                   ]
                 }
               , { pre_hooks
                 , [ { compile
                     , "erl -pa _build/test/lib/*/ebin -noshell -eval 'init:stop(case elvis_core:rock() of ok -> 0; _ -> 1 end)'"
                     }
                   ]
                 }
               ]
             }
           ]}.

{cover_enabled, true}.
{cover_export_enabled, true}.
{coveralls_coverdata, ["_build/test/cover/proper.coverdata"]}.
{coveralls_service_name, "travis-ci"}.

{dialyzer, [ {warnings, [ underspecs
                        , unknown
                        ]}
           , {plt_apps, all_deps}
             %% Not sure why `proper` is not recognized as a dep
           , {plt_extra_apps, [proper]}
           ]}.

{xref_checks, [ undefined_function_calls
              , undefined_functions
              , locals_not_used
              , deprecated_function_calls
              , deprecated_functions
              ]}.