| 4461 | } |
| 4462 | |
| 4463 | bool HighsProfiling::running(const HighsInt profiling_clock, |
| 4464 | const HighsInt record_type) { |
| 4465 | assert(profiling_clock >= 0); |
| 4466 | if (profiling_clock >= this->num_profiling_clock_) return false; |
| 4467 | HighsProfilingRecord* thread_record = |
| 4468 | this->getHighsProfilingRecord(record_type); |
| 4469 | double time_start = thread_record->start_time[profiling_clock]; |
| 4470 | const bool clock_running = std::signbit(time_start); |
| 4471 | return clock_running; |
| 4472 | } |
| 4473 | |
| 4474 | void HighsProfiling::solveCall(const std::string& model, const bool submip) { |
| 4475 | const bool printing = false; |
no test coverage detected