def parse_time_arg(s):
    """
    Parse a time stamp in the "year-month-day hour-minute" format.
    """
    try:
        return time.strptime(s, "%Y-%m-%d %H:%M")
    except __HOLE__ as e:
        raise argparse.ArgumentTypeError(e)
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/benchexec.py/parse_time_arg