Function highsFprintfString

highs/io/HighsIO.cpp:245–253

}

void highsFprintfString(FILE* file, const HighsLogOptions& log_options_,
                        const std::string& s) {
  if (file == nullptr) return;
  if (file == stdout) {
    highsLogUser(log_options_, HighsLogType::kInfo, "%s", s.c_str());
  } else {
    fprintf(file, "%s", s.c_str());
  }
}

std::string getFilenameExt(const std::string& filename) {
  std::string name = filename;