Remove hardcoding from select_from_results.py (#280)

benedikt-schesch · May 13, 2024 · 7a9deaa · 7a9deaa
1 parent 4863de1
commit 7a9deaa
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -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()