Added latest code

src/python/latex_output.py

@@ -495,6 +495,18 @@ def main():
 
     print(f"CSV saved to: {csv_filename}")
     print(f"Rows: {len(filtered_df)}")
+
+    for merge_tool in MERGE_TOOL:
+        result_df[merge_tool.name + "_raw"] = result_df[merge_tool.name]
+    for idx, row in result_df.iterrows():
+        for merge_tool in MERGE_TOOL:
+            if "plus" in merge_tool.name:
+                continue
+            result1 = row[merge_tool.name]
+            result2 = row[merge_tool.name + "_plus"]
+            if result1.name == MERGE_STATE.Merge_failed.name \
+                and result2.name == TEST_STATE.Tests_failed.name:
+                    result_df.loc[idx, merge_tool.name] = TEST_STATE.Tests_failed.name
 
     result_df.to_csv(args.output_dir / "result.csv", index_label="idx")