def read_key_value_pairs_from_file(*path):
    with open(os.path.join(*path)) as f:
        for line in f:
            yield line.split(' ', 1) #maxsplit=1
Read key value pairs from a file (each pair on a separate line).
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/read_key_value_pairs_from_file