Searched refs:add_ab_value (Results 1 – 1 of 1) sorted by relevance
120 uint32_t add_ab_value = sat.vec_model_get_unsigned(modelExpressions, modelValues, add_ab); in test_cmp() local124 …printf("%-20s %10u %10u%s\n", "result(a+b)", add_ab_value, a+b, add_ab_value != a+b ? " !!!" : "… in test_cmp()129 if (found_error || add_ab_value != a+b || sub_ab_value != a-b || sub_ba_value != b-a) in test_cmp()