| 439 | } |
| 440 | |
| 441 | HighsInt Highs_getStringOptionValue(const void* highs, const char* option, |
| 442 | char* value) { |
| 443 | return Highs_getStringOptionValues(highs, option, value, nullptr); |
| 444 | } |
| 445 | |
| 446 | HighsInt Highs_getOptionType(const void* highs, const char* option, |
| 447 | HighsInt* type) { |
no test coverage detected