From d03e4608623dee908398f24f5a0f0c1fb3b5e975 Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Thu, 21 Dec 2023 14:12:49 -0800
Subject: [PATCH] add alias --mc and --mt

---
 src/halmos/parser.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/halmos/parser.py b/src/halmos/parser.py
index ff2d252f..5005fdc6 100644
--- a/src/halmos/parser.py
+++ b/src/halmos/parser.py
@@ -22,6 +22,7 @@ def mk_arg_parser() -> argparse.ArgumentParser:
     )
     parser.add_argument(
         "--match-contract",
+        "--mc",
         metavar="CONTRACT_NAME_REGEX",
         default="",
         help="run tests in contracts matching the given regex. Ignored if the --contract name is given. (default: '%(default)s')",
@@ -34,6 +35,7 @@ def mk_arg_parser() -> argparse.ArgumentParser:
     )
     parser.add_argument(
         "--match-test",
+        "--mt",
         metavar="FUNCTION_NAME_REGEX",
         default="^check_",
         help="run tests matching the given regex. The --function prefix is automatically added, unless the regex starts with '^'. (default: '%(default)s')",