def decode_to_string(toDecode):
    """
    This function is needed for Python 3,
    because a subprocess can return bytes instead of a string.
    """
    try:
        return toDecode.decode('utf-8')
    except __HOLE__: # bytesToDecode was of type string before
        return toDecode
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/decode_to_string