From c33f719278f49992597e1306f156c21590a29695 Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Mon, 23 Oct 2023 11:43:32 +0200 Subject: [PATCH] coverage.py: print total runtime --- coverage.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/coverage.py b/coverage.py index e26f2fa..7e911cf 100755 --- a/coverage.py +++ b/coverage.py @@ -446,6 +446,10 @@ def main(): print("failed %d:" % len(failed), file=sys.stderr) for f in failed: print(f, file=sys.stderr) + currenttime = time.time() + walltime = timedelta(seconds=int(currenttime - starttime)) + print(f"total runtime: {walltime}", file=sys.stderr) + if failed: exit(1)