On Tue, Dec 17, 2013 at 12:39:09AM -0800, Faisal Anees wrote:
>    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 ?

This could be a variant.