| 502 | } |
| 503 | |
| 504 | HighsInt Highs_resetOptions(void* highs) { |
| 505 | return (HighsInt)((Highs*)highs)->resetOptions(); |
| 506 | } |
| 507 | |
| 508 | HighsInt Highs_writeOptions(const void* highs, const char* filename) { |
| 509 | return (HighsInt)((Highs*)highs)->writeOptions(filename); |
no test coverage detected