diff --git a/tools/asan/bin/sanitizer-check b/tools/asan/bin/sanitizer-check index 071bf9be..ca6cbc59 100755 --- a/tools/asan/bin/sanitizer-check +++ b/tools/asan/bin/sanitizer-check @@ -51,6 +51,9 @@ if [ $# -eq 1 ]; then escript "$REBAR3" do ct --suite=test/quicer_SUITE --case="$tc"; done ;; + proper) + escript "$REBAR3" as test proper + ;; esac else escript "$REBAR3" do ct $@