def get_task_id(task):
    task_id = [task.get('name'),
               task.get('properties'),
               task.get('runset'),
               ]
    return tuple(task_id)
Return a unique identifier for a given task.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tablegenerator/__init__.py/get_task_id