Problem08_label00_true-unreach-call.c

contents

extern void __VERIFIER_error(void);
extern int __VERIFIER_nondet_int(void);
extern void exit(int);

	// inputs
	int c= 3;
	int e= 5;
	int a= 1;
	int b= 2;
	int f= 6;
	int d= 4;

	// outputs
	int u = 21;
	int v = 22;
	int w = 23;
	int x = 24;
	int y = 25;
	int z = 26;


	int a22 = 1;
	int a20 = 1;
	int a0 = 1;
	int a27 = 1;
	int a18 = 0;
	int a5 = 1;
	int a15 = 1;
	int a12 = 8;
	int a4 = 0;
	int a3 = 4;
	int a6 = 0;

	int calculate_output2(int input);
	int calculate_output3(int input);
	int calculate_output4(int input);
	int calculate_output5(int input);
	int calculate_output6(int input);
	int calculate_output7(int input);
	int calculate_output8(int input);
	int calculate_output9(int input);
	int calculate_output10(int input);
	int calculate_output11(int input);
	int calculate_output12(int input);
	int calculate_output13(int input);
	int calculate_output14(int input);
	int calculate_output15(int input);
	int calculate_output16(int input);
	int calculate_output17(int input);
	int calculate_output18(int input);
	int calculate_output19(int input);
	int calculate_output20(int input);
	int calculate_output21(int input);
	int calculate_output22(int input);
	int calculate_output23(int input);
	int calculate_output24(int input);
	int calculate_output25(int input);
	int calculate_output26(int input);
	int calculate_output27(int input);
	int calculate_output28(int input);
	int calculate_output29(int input);
	int calculate_output30(int input);
	int calculate_output31(int input);
	int calculate_output32(int input);
	int calculate_output33(int input);
	int calculate_output34(int input);
	int calculate_output35(int input);
	int calculate_output36(int input);
	int calculate_output37(int input);
	int calculate_output38(int input);
	int calculate_output39(int input);
	int calculate_output40(int input);
	int calculate_output41(int input);
	int calculate_output42(int input);
	int calculate_output43(int input);
	int calculate_output44(int input);
	int calculate_output45(int input);
	int calculate_output46(int input);
	int calculate_output47(int input);
	int calculate_output48(int input);
	int calculate_output49(int input);
	int calculate_output50(int input);
	int calculate_output51(int input);
	int calculate_output52(int input);
	int calculate_output53(int input);
	int calculate_output54(int input);
	int calculate_output55(int input);
	int calculate_output56(int input);
	int calculate_output57(int input);
	int calculate_output58(int input);
	int calculate_output59(int input);
	int calculate_output60(int input);
	int calculate_output61(int input);
	int calculate_output62(int input);
	int calculate_output63(int input);
	int calculate_output64(int input);
	int calculate_output65(int input);
	int calculate_output66(int input);
	int calculate_output67(int input);
	int calculate_output68(int input);

content may be truncated. 'popout' for larger text window.