Results « regression « test - debian-compcert - Debian packaging for CompCert

Mode	Name	Size
-rw-r--r--	alignas	442	log plain
-rw-r--r--	attribs1	148	log plain
-rw-r--r--	binops	3821	log plain
-rw-r--r--	bitfields1	69	log plain
-rw-r--r--	bitfields2	77	log plain
-rw-r--r--	bitfields3	38	log plain
-rw-r--r--	bitfields4	188	log plain
-rw-r--r--	bitfields5	74	log plain
-rw-r--r--	bitfields6	12	log plain
-rw-r--r--	bitfields7	12	log plain
-rw-r--r--	bitfields8	70	log plain
-rw-r--r--	bool	60	log plain
-rw-r--r--	builtins-arm	212	log plain
-rw-r--r--	builtins-ia32	264	log plain
-rw-r--r--	builtins-powerpc	638	log plain
-rw-r--r--	casts1	6	log plain
-rw-r--r--	casts2	12	log plain
-rw-r--r--	casts3	1001	log plain
-rw-r--r--	char1	520	log plain
-rw-r--r--	compar	86	log plain
-rw-r--r--	expr1	10	log plain
-rw-r--r--	expr5	2	log plain
-rw-r--r--	expr6	181	log plain
-rw-r--r--	floats	21	log plain
-rw-r--r--	floats-basics	21	log plain
-rw-r--r--	for1	150	log plain
-rw-r--r--	funct3	9	log plain
-rw-r--r--	funptr2	40	log plain
-rw-r--r--	initializers	607	log plain
-rw-r--r--	initializers2	301	log plain
-rw-r--r--	initializers3	473	log plain
-rw-r--r--	instrsel	545	log plain
-rw-r--r--	int32	73491	log plain
-rw-r--r--	int64	103462	log plain
-rw-r--r--	packedstruct1	725	log plain
-rw-r--r--	packedstruct2	185	log plain
-rw-r--r--	sizeof1	122	log plain
-rw-r--r--	sizeof2	4	log plain
-rw-r--r--	struct11	2	log plain
-rw-r--r--	struct7	229	log plain
-rw-r--r--	struct8	188	log plain
-rw-r--r--	switch	240	log plain
-rw-r--r--	switch2	546	log plain
-rw-r--r--	varargs1	10	log plain
-rw-r--r--	varargs2	416	log plain
-rw-r--r--	volatile1	38	log plain
-rw-r--r--	volatile2	628	log plain
-rw-r--r--	volatile3	297	log plain