| 5094 | } |
| 5095 | |
| 5096 | HighsStatus Highs::closeLogFile() { |
| 5097 | // Work with a copy of the pointer for brevity |
| 5098 | FILE* log_stream = this->options_.log_options.log_stream; |
| 5099 | if (log_stream != nullptr) { |
| 5100 | assert(log_stream != stdout); |
| 5101 | fflush(log_stream); |
| 5102 | fclose(log_stream); |
| 5103 | // Set the true log_stream to nullptr to give a test whether it |
| 5104 | // has been closed (and avoid trying to close it again which |
| 5105 | // causes an error) |
| 5106 | this->options_.log_options.log_stream = nullptr; |
| 5107 | } |
| 5108 | return HighsStatus::kOk; |
| 5109 | } |
| 5110 | |
| 5111 | HighsStatus Highs::initializeMultiThreading() { |
| 5112 | highs::parallel::initialize_scheduler(this->options_.threads); |
no outgoing calls
no test coverage detected