Consider the following program and two test sets.

begin

int x$,$ y$,$ z;

input $($x$,$ y$)$;

if$($x$<mn>0</mn>$ or y$<mn>0</mn><mi>)</mi>$

z$=$foo$-1($x$,$y$)$;

else

z$=$foo$-2($x$,$y$)$;

output$($z$)$;

end

In class exercise: Confirm that T$1$ is adequate with respect to

decision coverage but not condition coverage.

$T_1=\{[t_1$:$,],[t_2$:$,]\}$

In class exercise: Confirm that T$2$ is adequate with respect to

condition coverage but not decision coverage.

$T_2=\{[t_1$:$,],[t_2$:$,]\}$