| 720 | } |
| 721 | |
| 722 | void possibleLowerCaseOptionValue(const std::string& name, std::string& value) { |
| 723 | // Don't convert values for file name options to lower case |
| 724 | if (name == kModelFileString || name == kReadBasisFileString || |
| 725 | name == kWriteBasisFileString || name == kOptionsFileString || |
| 726 | name == kWriteSolutionFileString || name == kWriteModelFileString || |
| 727 | name == kWritePresolvedModelFileString || |
| 728 | name == kWriteIisModelFileString || name == kReadSolutionFileString || |
| 729 | name == kLogFileString || |
| 730 | #ifdef HIGHS_DEBUGSOL |
| 731 | name == kMipDebugSolutionFileString || |
| 732 | #endif |
| 733 | name == kMipImprovingSolutionFileString) |
| 734 | return; |
| 735 | // Transform other options to lower case |
| 736 | std::transform(value.begin(), value.end(), value.begin(), |
| 737 | [](unsigned char c) { return std::tolower(c); }); |
| 738 | } |
| 739 | |
| 740 | OptionStatus passLocalOptions(const HighsLogOptions& report_log_options, |
| 741 | const HighsOptions& from_options, |
no test coverage detected