Function highsTimeToString

highs/io/HighsIO.cpp:313–320

}

const std::string highsTimeToString(const double time) {
  return
#ifndef NDEBUG
      std::to_string(time);
#else
      std::to_string(static_cast<int>(time));
#endif
}

const std::string highsTimeSecondToString(const double time) {
  return highsTimeToString(time) + "s";