From 86f616996d627391deae851b55dfd7e96f19ee1e Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Sun, 29 May 2022 09:32:58 +0200 Subject: [PATCH] coverage.py: strip off fractional seconds of time left --- coverage.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coverage.py b/coverage.py index af94692..d62192d 100755 --- a/coverage.py +++ b/coverage.py @@ -185,7 +185,7 @@ def main(): if i > 0: currenttime = time.time() timeleft = timedelta( - seconds=(len(tests) - i) * (currenttime - starttime) / i + seconds=int((len(tests) - i) * (currenttime - starttime) / i) ) print("time left: %s" % timeleft, file=sys.stderr) with open("tests/" + name) as fin, open("shared/test.sh", "w") as fout: