aboutsummaryrefslogtreecommitdiffstats
path: root/test/individual_coverage.py
diff options
context:
space:
mode:
authorMaximilian Hils <git@maximilianhils.com>2019-11-15 17:24:59 +0100
committerGitHub <noreply@github.com>2019-11-15 17:24:59 +0100
commit50443df3404e660984c5bbfd999dc96d0bc9b1b2 (patch)
tree58a1636284b7a933b7c483531723f780f77e6efc /test/individual_coverage.py
parent3eebfed79f4d54840a054c2dc5061e155c416d3e (diff)
parentf6f9eb2c4e022cd44ccc39b3f61fdf31cbfea793 (diff)
downloadmitmproxy-50443df3404e660984c5bbfd999dc96d0bc9b1b2.tar.gz
mitmproxy-50443df3404e660984c5bbfd999dc96d0bc9b1b2.tar.bz2
mitmproxy-50443df3404e660984c5bbfd999dc96d0bc9b1b2.zip
Merge branch 'master' into master
Diffstat (limited to 'test/individual_coverage.py')
-rwxr-xr-xtest/individual_coverage.py12
1 files changed, 6 insertions, 6 deletions
diff --git a/test/individual_coverage.py b/test/individual_coverage.py
index 097b290f..54180eac 100755
--- a/test/individual_coverage.py
+++ b/test/individual_coverage.py
@@ -19,29 +19,29 @@ def run_tests(src, test, fail):
e = pytest.main([
'-qq',
'--disable-pytest-warnings',
- '--no-faulthandler',
'--cov', src.replace('.py', '').replace('/', '.'),
'--cov-fail-under', '100',
'--cov-report', 'term-missing:skip-covered',
+ '-o', 'faulthandler_timeout=0',
test
])
if e == 0:
if fail:
- print("UNEXPECTED SUCCESS:", src, "Please remove this file from setup.cfg tool:individual_coverage/exclude.")
+ print("FAIL DUE TO UNEXPECTED SUCCESS:", src, "Please remove this file from setup.cfg tool:individual_coverage/exclude.")
e = 42
else:
- print("SUCCESS: ", src)
+ print("Success:", src)
else:
if fail:
- print("IGNORING FAIL: ", src)
+ print("Ignoring allowed fail:", src)
e = 0
else:
cov = [l for l in stdout.getvalue().split("\n") if (src in l) or ("was never imported" in l)]
if len(cov) == 1:
- print("FAIL: ", cov[0])
+ print("FAIL:", cov[0])
else:
- print("FAIL: ", src, test, stdout.getvalue(), stdout.getvalue())
+ print("FAIL:", src, test, stdout.getvalue(), stdout.getvalue())
print(stderr.getvalue())
print(stdout.getvalue())