set --mt default to empty

a16z · Dec 21, 2023 · 8abd26a · 8abd26a
1 parent d03e460
commit 8abd26a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/halmos/parser.py b/src/halmos/parser.py
@@ -37,7 +37,7 @@ def mk_arg_parser() -> argparse.ArgumentParser:
         "--match-test",
         "--mt",
         metavar="FUNCTION_NAME_REGEX",
-        default="^check_",
+        default="",
         help="run tests matching the given regex. The --function prefix is automatically added, unless the regex starts with '^'. (default: '%(default)s')",
     )