Clamp 32-bit varints to 5 bytes to fix a fuzz failure.
diff --git a/benchmarks/compare.py b/benchmarks/compare.py
index 48f9704..9bdf787 100755
--- a/benchmarks/compare.py
+++ b/benchmarks/compare.py
@@ -45,7 +45,9 @@
# Translate into the format expected by benchstat.
with open(outbase + ".txt", "w") as f:
for run in bench_json["benchmarks"]:
- name = re.sub(r'^BM_', 'Benchmark', run["name"])
+ name = run["name"]
+ name = name.replace(" ", "")
+ name = re.sub(r'^BM_', 'Benchmark', name)
if name.endswith("_mean") or name.endswith("_median") or name.endswith("_stddev"):
continue
values = (name, run["iterations"], run["cpu_time"])
