| 65 | } |
| 66 | |
| 67 | void checkGetCallbackDataOutInt64(const HighsCallbackDataOut* data_out, |
| 68 | const char* name, int64_t value) { |
| 69 | const void* name_p = Highs_getCallbackDataOutItem(data_out, name); |
| 70 | if (!name_p) { |
| 71 | printf("checkGetCallbackDataOutInt64 fail for %s\n", name); |
| 72 | assert(name_p); |
| 73 | } else { |
| 74 | int64_t check_value = *(int*)(name_p); |
| 75 | int value_ok = check_value == value; |
| 76 | if (!value_ok) |
| 77 | printf( |
| 78 | "checkGetCallbackDataOutInt64 fail for %s (%d = check_value != value " |
| 79 | "= %d)\n", |
| 80 | name, (int)check_value, (int)value); |
| 81 | assert(value_ok); |
| 82 | } |
| 83 | } |
| 84 | |
| 85 | void checkGetCallbackDataOutDouble(const HighsCallbackDataOut* data_out, |
| 86 | const char* name, double value) { |
no test coverage detected