From f9220977bf7b2185f6f1867b6930838ca75721c4 Mon Sep 17 00:00:00 2001 From: Shadaj Laddad Date: Wed, 1 May 2024 22:05:43 -0700 Subject: [PATCH] Fix precedence of time variable --- tests/synthesize_crdt.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/synthesize_crdt.py b/tests/synthesize_crdt.py index d1f89a3..dba7688 100644 --- a/tests/synthesize_crdt.py +++ b/tests/synthesize_crdt.py @@ -360,9 +360,9 @@ def main(): times = sorted([float(row[1]) for row in report_reader]) with open(f"benchmarks-{bench}-{bounded_bench_str}-first_{first_n}-distribution.csv", "w") as distribution_file: distribution_file.write(f"time,percent\n") - for (i, time) in enumerate(times): + for (i, measured_time) in enumerate(times): percent = (i + 1) / len(times) - distribution_file.write(f"{time},{percent}\n") + distribution_file.write(f"{measured_time},{percent}\n") if __name__ == "__main__": main()