src/utils/file.cpp
/**
   * Writes the contents of the given file
   */
Writes the contents of the given file
Writes the contents of the given file
void write_contents(const string& filename, const string& contents) {
    std::ofstream out(filename, std::ofstream::out);
    if (!(out << contents)) {
      throw std::system_error(errno, std::system_category(), "failed to write to " + filename);
    }
  }
void write_contents ( const string & filename , const string & contents ) { std :: ofstream out ( filename , std :: ofstream :: out ) ; if ( ! ( out << contents ) ) { throw std :: system_error ( errno , std :: system_category ( ) , " " + filename ) ; } }
Writes the contents of the given file
Writes the contents of the given file