Function write_to

tools/creduce.py:19–23

(file, lines)

        print(line)

def write_to(file, lines):
    content = list((line + "\n" for line in lines))
    if (len(content) > 0):
        with open(file, 'w') as f:
            f.writelines(content)

def make_executable(p):
    os.chmod(p, 509)