| 223 | } |
| 224 | |
| 225 | void assertIntValuesEqual(const char* name, const HighsInt is, |
| 226 | const HighsInt should_be) { |
| 227 | if (is != should_be) { |
| 228 | printf("Value %s = %" HIGHSINT_FORMAT " should be %" HIGHSINT_FORMAT "\n", |
| 229 | name, is, should_be); |
| 230 | assert(1 == 0); |
| 231 | } |
| 232 | } |
| 233 | |
| 234 | void assertLogical(const char* name, const HighsInt is) { |
| 235 | if (is == 0) { |
no outgoing calls
no test coverage detected