| 4436 | } |
| 4437 | |
| 4438 | double HighsProfiling::read(const HighsInt profiling_clock, |
| 4439 | const HighsInt record_type) { |
| 4440 | assert(profiling_clock >= 0); |
| 4441 | if (profiling_clock >= this->num_profiling_clock_) return -kHighsInf; |
| 4442 | HighsProfilingRecord* thread_record = |
| 4443 | this->getHighsProfilingRecord(record_type); |
| 4444 | // If the clock is running, work out current running time |
| 4445 | const double current_running_time = |
| 4446 | this->running(profiling_clock, record_type) |
| 4447 | ? thread_record->start_time[profiling_clock] + timer->read() |
| 4448 | : 0; |
| 4449 | return thread_record->run_time[profiling_clock] + current_running_time; |
| 4450 | } |
| 4451 | |
| 4452 | HighsInt HighsProfiling::numCall(const HighsInt profiling_clock, |
| 4453 | const HighsInt record_type) { |
no test coverage detected