Problem09_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 d= 4;
	int f= 6;
	int e= 5;
	int a= 1;

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


	int a2 = 1;
	int a11 = 1;
	int a12 = 1;
	int a28 = 1;
	int a13 = 1;
	int a3 = 1;
	int a6 = 1;
	int a23 = 1;
	int a8 = 0;
	int a26 = 0;
	int a0 = 0;
	int a18 = 0;
	int a27 = 0;
	int a4 = 0;
	int a7 = 0;
	int a14 = 0;
	int a24 = 0;
	int a25 = 1;
	int a10 = 1;
	int a15 = 1;
	int a29 = 1;
	int a22 = 1;
	int a1 = 13;
	int a5 = 5;
	int a9 = 7;
	int a17 = 2;
	int a20 = 1;
	int a16 = 7;
	int a19 = 2;
	int a21 = 10;

	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);

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