testcontrol-shortcut.cecko5.gold 1.32 KB
Newer Older
Bednárek David RNDr. Ph.D.'s avatar
Bednárek David RNDr. Ph.D. committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
========== tables ==========
// --- GLOBAL TYPEDEFS ---
typedef struct _file_s_0 FILE_0;
// --- FUNCTION DECLARATIONS ---
void f_3(_Bool,_Bool,_Bool,_Bool);
int main_25(int,char**);
void*memset_0(void*,int,int);
int printf_0(const char*,...);
int scanf_0(const char*,...);
int sprintf_0(char*,const char*,...);
int sscanf_0(const char*,const char*,...);
// --- GLOBAL VARIABLES ---
// --- FUNCTION DEFINITIONS ---
void f_3(_Bool a_3,_Bool b_3,_Bool c_3,_Bool d_3){
	{
	}
	{
	}
	{
	}
	{
	}
}
int main_25(int argc_25,char**argv_25){
	{
	}
}
========== starting main() ==========
((0&&0)||(0&&0)) = 0 ; ((0||0)&&(0||0)) = 0
((0&&0)||(0&&1)) = 0 ; ((0||0)&&(0||1)) = 0
((0&&0)||(1&&0)) = 0 ; ((0||0)&&(1||0)) = 0
((0&&0)||(1&&1)) = 1 ; ((0||0)&&(1||1)) = 0
((0&&1)||(0&&0)) = 0 ; ((0||1)&&(0||0)) = 0
((0&&1)||(0&&1)) = 0 ; ((0||1)&&(0||1)) = 1
((0&&1)||(1&&0)) = 0 ; ((0||1)&&(1||0)) = 1
((0&&1)||(1&&1)) = 1 ; ((0||1)&&(1||1)) = 1
((1&&0)||(0&&0)) = 0 ; ((1||0)&&(0||0)) = 0
((1&&0)||(0&&1)) = 0 ; ((1||0)&&(0||1)) = 1
((1&&0)||(1&&0)) = 0 ; ((1||0)&&(1||0)) = 1
((1&&0)||(1&&1)) = 1 ; ((1||0)&&(1||1)) = 1
((1&&1)||(0&&0)) = 1 ; ((1||1)&&(0||0)) = 0
((1&&1)||(0&&1)) = 1 ; ((1||1)&&(0||1)) = 1
((1&&1)||(1&&0)) = 1 ; ((1||1)&&(1||0)) = 1
((1&&1)||(1&&1)) = 1 ; ((1||1)&&(1||1)) = 1

========== main() returned 0 ==========
========== cecko5 done ==========