From 7a9deaab8280d31cdc31302e4ba367962a996926 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Tue, 30 Apr 2024 15:47:45 -0700 Subject: [PATCH] Remove hardcoding from `select_from_results.py` (#280) --- README.md | 4 ++-- src/python/select_from_results.py | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 3f86f15a61..1f8c965c25 100644 --- a/README.md +++ b/README.md @@ -215,6 +215,6 @@ To run style checking run `make style`. ## Comparing merge algorithms To investigate differences between two mergers: - * edit file `src/python/select_from_results.py` to reflect the differences you are interested in. - * run `src/python/select_from_results.py` to create a .csv database containing only the differences. + * run `src/python/select_from_results.py` to produce a CSV file containing only the differences you are interested in. + * run `` to create a .csv database containing only the differences. * run `src/python/replay_merge.py --merges_csv CSV_FILE --idx INDEX` (maybe add `-test`) for the index of the merge you are interested in. diff --git a/src/python/select_from_results.py b/src/python/select_from_results.py index fe7ffbf60d..3319ad199e 100755 --- a/src/python/select_from_results.py +++ b/src/python/select_from_results.py @@ -47,6 +47,7 @@ def main(): parser.add_argument( "--input", action="store", default="../../results/combined/result.csv" ) + # Todo: Also parse arguments from the query. parser.add_argument("columns", nargs=argparse.REMAINDER) args = parser.parse_args()