convert string to lower-case, modifies string
| 16 | |
| 17 | // convert string to lower-case, modifies string |
| 18 | static inline void tolower(std::string& s) { |
| 19 | std::transform(s.begin(), s.end(), s.begin(), |
| 20 | [](unsigned char c) { return std::tolower(c); }); |
| 21 | } |
| 22 | |
| 23 | Filereader* Filereader::getFilereader(const HighsLogOptions& log_options, |
| 24 | const std::string filename) { |
no test coverage detected