From ab55b6ff0a6b774b5f3c118088bffbc3ea65b89f Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Wed, 8 Nov 2023 10:07:27 -0800 Subject: [PATCH] Copy ORIGINAL_DNAME to dirname. --- benchmark/benchmark.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/benchmark/benchmark.py b/benchmark/benchmark.py index b60868011..ddd3b0977 100755 --- a/benchmark/benchmark.py +++ b/benchmark/benchmark.py @@ -120,8 +120,8 @@ def show_stats(dirnames): df = pd.DataFrame.from_records(rows) df.sort_values(by=["model", "edit_format"], inplace=True) - dump(df) - # plot_timing(df) + #dump(df) + plot_timing(df) plot_outcomes(df, repeats, repeat_hi, repeat_lo, repeat_avg) @@ -329,7 +329,9 @@ def main( dirname.rename(dest) if not dirname.exists(): + print(f"Copying {ORIGINAL_DNAME} -> {dirname} ...") shutil.copytree(ORIGINAL_DNAME, dirname) + print("...done") test_dnames = sorted(os.listdir(dirname))