Function write_buffer

src/file_buffer.cpp:73–81

}

void write_buffer(const fs::path& filename, const char* buffer, std::size_t size)
{
    std::ofstream os(filename, std::ios::out | std::ios::binary);
    if(os.fail())
        MIGRAPHX_THROW("Failure opening file: " + filename);
    os.write(buffer, size);
    if(os.bad())
        MIGRAPHX_THROW("Error writing file: " + filename);
}

void write_buffer(const fs::path& filename, const std::vector<char>& buffer)
{