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