coverage.py: add --format option

This commit is contained in:
Johannes Schauer Marin Rodrigues 2022-10-14 07:32:43 +02:00
parent 91ca37706f
commit 8cb5b6e0ef
Signed by untrusted user: josch
GPG key ID: F2CBA5C78FBD83E1

View file

@ -101,6 +101,11 @@ def main():
metavar="variant", metavar="variant",
help=f"only run tests with this variant (Default = {default_variant})", help=f"only run tests with this variant (Default = {default_variant})",
) )
parser.add_argument(
"--format",
metavar="format",
help=f"only run tests with this format (Default = {default_format})",
)
args = parser.parse_args() args = parser.parse_args()
# copy over files from git or as distributed # copy over files from git or as distributed
@ -288,6 +293,9 @@ def main():
if args.variant and args.variant != variant: if args.variant and args.variant != variant:
print(f"skipping because of --variant={args.variant}", file=sys.stderr) print(f"skipping because of --variant={args.variant}", file=sys.stderr)
continue continue
if args.format and args.format != fmt:
print(f"skipping because of --format={args.format}", file=sys.stderr)
continue
proc = subprocess.Popen(argv) proc = subprocess.Popen(argv)
try: try:
proc.wait() proc.wait()
@ -320,7 +328,7 @@ def main():
print("failed %d:" % len(failed), file=sys.stderr) print("failed %d:" % len(failed), file=sys.stderr)
for name, dist, mode, variant, fmt in failed: for name, dist, mode, variant, fmt in failed:
print( print(
f" {name} --dist={dist} --mode={mode} --variant={variant}", f" {name} --dist={dist} --mode={mode} --variant={variant} --format={fmt}",
file=sys.stderr, file=sys.stderr,
) )
exit(1) exit(1)