| 47 | } |
| 48 | |
| 49 | void checkGetCallbackDataOutInt(const HighsCallbackDataOut* data_out, |
| 50 | const char* name, int value) { |
| 51 | const void* name_p = Highs_getCallbackDataOutItem(data_out, name); |
| 52 | if (!name_p) { |
| 53 | printf("checkGetCallbackDataOutInt fail for %s\n", name); |
| 54 | assert(name_p); |
| 55 | } else { |
| 56 | int check_value = *(int*)(name_p); |
| 57 | int value_ok = check_value == value; |
| 58 | if (!value_ok) |
| 59 | printf( |
| 60 | "checkGetCallbackDataOutInt fail for %s (%d = check_value != value = " |
| 61 | "%d)\n", |
| 62 | name, check_value, value); |
| 63 | assert(value_ok); |
| 64 | } |
| 65 | } |
| 66 | |
| 67 | void checkGetCallbackDataOutInt64(const HighsCallbackDataOut* data_out, |
| 68 | const char* name, int64_t value) { |
no test coverage detected