pmret/papermario
1
0
Fork 0
mirror of https://github.com/pmret/papermario.git synced 2024-11-08 12:02:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

hotfix coverage.py bytes listing

Browse Source
This commit is contained in:
Alex Bates 2020-10-20 20:47:29 +01:00
parent ca88a636e9
commit 5d4b8c27f1
No known key found for this signature in database
GPG Key ID: 5E11C2DB78877706
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
coverage.py
View File

@ -86,7 +86,7 @@ if __name__ == "__main__":
total = len(matched) + len(non_matched)
print(f"{len(matched)}+{len(partial_matched)} / {total} functions ({(len(matched) / total) * 100:.2f}%)")
if not "--skip-sizes":
if not "--skip-sizes" in argv:
function_sizes = parse_map_file()
size_matched = sum(function_sizes.get(f, 0) for f in matched)
size_partial_matched = sum(function_sizes.get(f, 0) for f in partial_matched)