| 5159 | } |
| 5160 | |
| 5161 | void Highs::resetProfiling() { |
| 5162 | if (!this->profiling_) return; |
| 5163 | HighsProfiling* profiling = this->profiling_; |
| 5164 | this->clearProfiling(); |
| 5165 | this->initializeProfiling(profiling); |
| 5166 | } |
| 5167 | |
| 5168 | void Highs::clearProfiling() { |
| 5169 | if (!this->profiling_) return; |
no test coverage detected