ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #12263 from maciejbocianski/fix_unittests_coverage_filtering 

unittest: fix coverage filtering
pull/12264/head
Martin Kojtal 2020-01-15 17:57:21 +00:00 committed by GitHub
parent 0fd8bb651c 2768300ada
commit b96d3ad5be
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
UNITTESTS/unit_test/coverage.py
View File

@ -83,7 +83,7 @@ class CoverageAPI(object):
filters = filter_regex.split(",") filters = filter_regex.split(",")
for filt in filters: for filt in filters:
regex = "(.+/)?%s" % filt.replace("-", "/") regex = "(.+/)?.*%s" % filt.replace("-", "/")
args.extend(["-f", regex]) args.extend(["-f", regex])
if logging.getLogger().getEffectiveLevel() == logging.DEBUG: if logging.getLogger().getEffectiveLevel() == logging.DEBUG: