add alias --mc and --mt

a16z · Dec 21, 2023 · d03e460 · d03e460
1 parent ed49440
commit d03e460
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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')",