| 59 | } |
| 60 | |
| 61 | HighsStatus quietRun(Highs& highs) { |
| 62 | highs.setOptionValue("output_flag", false); |
| 63 | HighsStatus call_status = highs.run(); |
| 64 | if (dev_run) highs.setOptionValue("output_flag", true); |
| 65 | return call_status; |
| 66 | |
| 67 | highs.resetGlobalScheduler(true); |
| 68 | } |
| 69 | |
| 70 | void colCostColumnHeader() { |
| 71 | if (dev_run) |
no test coverage detected