rebar.config

{erl_opts, [debug_info]}.
{deps, []}.
{plugins, [rebar3_proper, rebar3_hex]}.
{profiles,
    [{test, [
        {deps, [{proper, "1.2.0"}]}
    ]}
]}.
{pre_hooks, [{"freebsd", compile, "gmake -C c_src"},
             {"freebsd", clean, "gmake -C c_src clean"},
             {"netbsd", compile, "gmake -C c_src"},
             {"netbsd", clean, "gmake -C c_src clean"},
             {"(linux|darwin|solaris)", compile, "make -C c_src"},
             {"(linux|darwin|solaris)", clean, "make -C c_src clean"}
]}.

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