def write_file(content, *path):
    with open(os.path.join(*path), "w") as file:
        return file.write(content)
Simply write some content to a file, overriding the file if necessary.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/write_file