| 510 | } |
| 511 | |
| 512 | HighsInt Highs_writeOptionsDeviations(const void* highs, const char* filename) { |
| 513 | return (HighsInt)((Highs*)highs)->writeOptions(filename, true); |
| 514 | } |
| 515 | |
| 516 | HighsInt Highs_getIntInfoValue(const void* highs, const char* info, |
| 517 | HighsInt* value) { |
no test coverage detected