Em relação ao programa C-- abaixo 0 void fun() { 1 int a, b, flag; 2 float res; 3 scanf("%d",&flag); 4 scanf("%d %d",&a,&b); 5 if (flag) 6 { res = a/2; } 7 else 8 { res = b/2; } 9 printf("%f",res); 10 printf("%f",res++) } Faço o slice em relação aos critérios: SC1: ( i8, {b} ) SC2: ( i8, {res} ) SC3: ( i9, {res} ) SC4: ( i10,{res} )
X -> ... (Decls) ...
Padrão(regra) -> Acção