From 10b6b6746bd973f51e403ba81d08050a8f3b821b Mon Sep 17 00:00:00 2001
From: William Yang <mscame@gmail.com>
Date: Mon, 19 Feb 2024 16:32:56 +0100
Subject: [PATCH] test: asan check with proper

---
 tools/asan/bin/sanitizer-check | 3 +++
 1 file changed, 3 insertions(+)

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 $@