

def incr_file(incr):
    value = read_file()
    with open(FILENAME, 'w') as write_file:
        value += incr
        write_file.write(str(value))

dataset/ETHPy150Open toastdriven/alligator/tests/test_workers.py incr_file/original