def printOut(value, end='\n'):
    sys.stdout.write(value)
    sys.stdout.write(end)
    sys.stdout.flush()
This function prints the given String immediately and flushes the output.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/printOut