| 194 | } |
| 195 | |
| 196 | void writeObjectiveValue(FILE* file, const HighsLogOptions& log_options, |
| 197 | const double objective_value) { |
| 198 | auto objStr = highsDoubleToString(objective_value, |
| 199 | kHighsSolutionValueToStringTolerance); |
| 200 | std::string s = highsFormatToString("Objective %s\n", objStr.data()); |
| 201 | highsFprintfString(file, log_options, s); |
| 202 | } |
| 203 | |
| 204 | void writePrimalSolution(FILE* file, const HighsLogOptions& log_options, |
| 205 | const HighsLp& lp, |
no test coverage detected