void main (void) { aint1 = 1; achar1 = 1; c_0(); c_1(); aint0 = 2; achar0 = 2; c_2(); aint0 = 0xff; achar0 = 0xff; c_ff(); aint0 = 0xa5; achar0 = 0xa5; c_a5(); aint0 = 0xabcd; c_abcd(); achar0 = 0; achar1 = 0; c_ifelse1(); achar0 = 1; c_ifelse1(); success = failures; done (); }
int main(void) { int1 = 1; char1 = 1; c_0(); printf("failures: %d\n",failures); c_1(); printf("failures: %d\n",failures); int0 = 2; char0 = 2; c_2(); printf("failures: %d\n",failures); int0 = 0xff; char0 = 0xff; c_ff(); printf("failures: %d\n",failures); int0 = 0xa5; char0 = 0xa5; c_a5(); printf("failures: %d\n",failures); int0 = 0xabcd; /*c_abcd();*/ char0 = 0; char1 = 0; c_ifelse1(); printf("failures: %d\n",failures); char0 = 1; c_ifelse1(); printf("failures: %d\n",failures); char0 = -1; int0 = -1; c_minus1(); printf("failures: %d\n",failures); char0 = 5; char1 = 3; c_c0gtc1(); printf("failures: %d\n",failures); char1 = -3; c_c0gtc1(); success = failures; done (); printf("failures: %d\n",failures); return failures; }