From d34ba8d1a692970f2915c91406ebdc32f352237a Mon Sep 17 00:00:00 2001 From: Benedikt Date: Fri, 27 Sep 2024 22:22:58 +0200 Subject: [PATCH] Update test results --- .gitignore | 1 - run.sh | 4 ++-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index 4e76c09598..7e056e94a7 100644 --- a/.gitignore +++ b/.gitignore @@ -4,7 +4,6 @@ venv **/*_explanation.txt cache-small/ apache-maven-3.9.2/ -results/local_repos.csv machines.txt .valid_merges cache/ diff --git a/run.sh b/run.sh index bf015ca59d..b12f2bab82 100755 --- a/run.sh +++ b/run.sh @@ -203,7 +203,7 @@ python3 src/python/merge_analyzer.py \ echo "run.sh: about to run merge_tester.py" python3 src/python/merge_tester.py \ - --repos_head_passes_csv "$OUT_DIR/local_repos.csv" \ + --repos_head_passes_csv "$OUT_DIR/repos_head_passes.csv" \ --merges_path "$OUT_DIR/merges_analyzed/" \ --output_dir "$OUT_DIR/merges_tested/" \ --cache_dir "$CACHE_DIR" @@ -211,7 +211,7 @@ python3 src/python/merge_tester.py \ if [ "$no_timing" = false ]; then echo "run.sh: about to run merge_runtime_measure.py" python3 src/python/merge_runtime_measure.py \ - --repos_head_passes_csv "$OUT_DIR/local_repos.csv" \ + --repos_head_passes_csv "$OUT_DIR/repos_head_passes.csv" \ --merges "$OUT_DIR/merges_tested/" \ --output_dir "$OUT_DIR/merges_timed/" \ --n_sampled_timing 1 \