diff options
| author | Michael Droettboom <mdboom@gmail.com> | 2022-12-06 11:14:47 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-06 11:14:47 (GMT) |
| commit | 9dc787ea96916552695e79397588fdfa68f22024 (patch) | |
| tree | cc92175927d2991d050a23a57363c8a2335e3646 /Tools/scripts | |
| parent | 5c19050546e3e37a8889a0baa2954e1444e803d3 (diff) | |
| download | cpython-9dc787ea96916552695e79397588fdfa68f22024.zip cpython-9dc787ea96916552695e79397588fdfa68f22024.tar.gz cpython-9dc787ea96916552695e79397588fdfa68f22024.tar.bz2 | |
GH-100026: Include the number of raw input files in summarize_stats.py (GH-100027)
Diffstat (limited to 'Tools/scripts')
| -rw-r--r-- | Tools/scripts/summarize_stats.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Tools/scripts/summarize_stats.py b/Tools/scripts/summarize_stats.py index 9c09806..c15501b 100644 --- a/Tools/scripts/summarize_stats.py +++ b/Tools/scripts/summarize_stats.py @@ -184,6 +184,7 @@ def gather_stats(input): key = key.strip() value = int(value) stats[key] += value + stats['__nfiles__'] += 1 return stats else: raise ValueError(f"{input:r} is not a file or directory path") @@ -561,6 +562,9 @@ def output_single_stats(stats): emit_specialization_overview(opcode_stats, total) emit_call_stats(stats) emit_object_stats(stats) + with Section("Meta stats", summary="Meta statistics"): + emit_table(("", "Count:"), [('Number of data files', stats['__nfiles__'])]) + def output_comparative_stats(base_stats, head_stats): base_opcode_stats = extract_opcode_stats(base_stats) |