def select_relevant_id_columns(rows):
    relevant_id_columns = [True] # first column (file name) is always relevant
    if rows:
        prototype_id = rows[0].id
        for column in range(1, len(prototype_id)):
            def id_equal_to_prototype(row):
                return row.id[column] == prototype_id[column]

            relevant_id_columns.append(not all(map(id_equal_to_prototype, rows)))
    return relevant_id_columns
Find out which of the entries in Row.id are equal for all given rows.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tablegenerator/__init__.py/select_relevant_id_columns