def copy_all_lines_from_to(inputFile, outputFile):
    currentLine = inputFile.readline()
    while currentLine:
        outputFile.write(currentLine)
        currentLine = inputFile.readline()
Copy all lines from an input file object to an output file object.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/copy_all_lines_from_to