@skirpichev @asmeurer  I think I have understood what you are trying to say ... i have a set of results for some inputs like (3,7),(7,12),(2,3), etc so for them I will check both sums and outputs, but when I supply random rationals to the functions then I will only use the addition tests on them ... will this be right ?