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

Mode	Name	Size
-rw-r--r--	attribs1	125	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	54	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--	funct3	9	log plain
-rw-r--r--	funptr2	40	log plain
-rw-r--r--	initializers	479	log plain
-rw-r--r--	instrsel	545	log plain
-rw-r--r--	int32	47022	log plain
-rw-r--r--	int64	89040	log plain
-rw-r--r--	packedstruct1	612	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	137	log plain
-rw-r--r--	switch	240	log plain
-rw-r--r--	volatile1	38	log plain
-rw-r--r--	volatile2	628	log plain
-rw-r--r--	volatile3	297	log plain