extern void __VERIFIER_error(void); extern int __VERIFIER_nondet_int(void); extern void exit(int); // inputs int inputD = 4; int inputB = 2; int inputC = 3; int inputF = 6; int inputE = 5; int inputA = 1; int a21 = 7; int a15 = 8; int a12 = -49; int a24 = 1; int calculate_output(int input) { if(((( 80 < a12 && (a24==1)) && (a15==7)) && (a21==6))){ error_54: exit(0); } if(((( a12 <= -43 && (a24==1)) && (a15==7)) && (a21==8))){ error_41: exit(0); } if(((( ((11 < a12) && (80 >= a12)) && (a24==1)) && (a15==5)) && (a21==9))){ error_12: exit(0); } if(((( a12 <= -43 && (a24==1)) && (a15==5)) && (a21==9))){ error_2: exit(0); } if(((( ((-43 < a12) && (11 >= a12)) && (a24==1)) && (a15==6)) && (a21==10))){ error_28: exit(0); } if(((( ((-43 < a12) && (11 >= a12)) && (a24==1)) && (a15==7)) && (a21==6))){ error_44: exit(0); } if(((( ((-43 < a12) && (11 >= a12)) && (a24==1)) && (a15==5)) && (a21==10))){ error_8: exit(0); } if(((( a12 <= -43 && (a24==1)) && (a15==6)) && (a21==9))){ error_22: exit(0); } if(((( 80 < a12 && (a24==1)) && (a15==7)) && (a21==10))){ error_58: exit(0); } if(((( a12 <= -43 && (a24==1)) && (a15==7)) && (a21==10))){ error_43: exit(0); } if(((( ((11 < a12) && (80 >= a12)) && (a24==1)) && (a15==6)) && (a21==6))){ error_29: exit(0); } if(((( 80 < a12 && (a24==1)) && (a15==7)) && (a21==8))){ error_56: exit(0); } if(((( 80 < a12 && (a24==1)) && (a15==6)) && (a21==9))){ error_37: exit(0); } if(((( a12 <= -43 && (a24==1)) && (a15==7)) && (a21==7))){ error_40: exit(0); } if(((( 80 < a12 && (a24==1)) && (a15==5)) && (a21==10))){ error_18: exit(0); } if(((( ((11 < a12) && (80 >= a12)) && (a24==1)) && (a15==5)) && (a21==8))){ error_11: exit(0); } if(((( ((11 < a12) && (80 >= a12)) && (a24==1)) && (a15==7)) && (a21==9))){ error_52: exit(0); } if(((( ((11 < a12) && (80 >= a12)) && (a24==1)) && (a15==6)) && (a21==8))){ error_31: exit(0); } if(((( ((11 < a12) && (80 >= a12)) && (a24==1)) && (a15==5)) && (a21==10))){ error_13: exit(0); } if(((( a12 <= -43 && (a24==1)) && (a15==7)) && (a21==6))){ error_39: exit(0); } if(((( 80 < a12 && (a24==1)) && (a15==5)) && (a21==6))){ error_14: exit(0); } if(((( 80 < a12 && (a24==1)) && (a15==6)) && (a21==6))){ error_34: exit(0); } if(((( ((11 < a12) && (80 >= a12)) && (a24==1)) && (a15==5)) && (a21==7))){ error_10: exit(0); } if(((( ((-43 < a12) && (11 >= a12)) && (a24==1)) && (a15==6)) && (a21==9))){ error_27: exit(0); } if(((( 80 < a12 && (a24==1)) && (a15==7)) && (a21==9))){ error_57: exit(0); } if(((( a12 <= -43 && (a24==1)) && (a15==5)) && (a21==6))){ globalError: exit(0); } if(((( a12 <= -43 && (a24==1)) && (a15==6)) && (a21==10))){ error_23: exit(0); }
content may be truncated. 'popout' for larger text window.