Commit 8269885a authored by Jan Kiene's avatar Jan Kiene
Browse files

fix for whitespace in col name

parent 7299ac91

scripts/basop_check_for_changes_in_testcases.py

+1 −1
Original line number Diff line number Diff line
@@ -114,7 +114,7 @@ def main(args): 
        mask_better = diff < -thresh



        display_cols = ["testcase", col_curr, col_prev]

        outfile = OUTFILE_SCORES.format(col)

        outfile = OUTFILE_SCORES.format(col.replace(" ", "_"))

        df_worse = df_merged[mask_worse][display_cols].reset_index(drop=True)

        df_worse.to_csv(outfile, sep=";")

        if sum(mask_worse) > 0: