| 320 | } |
| 321 | |
| 322 | const std::string highsTimeSecondToString(const double time) { |
| 323 | return highsTimeToString(time) + "s"; |
| 324 | } |
| 325 | |
| 326 | const std::string highsInsertMdEscapes(const std::string& from_string) { |
| 327 | std::string to_string = ""; |
no test coverage detected