Results « regression « test - compcert - CompCert fork with minor modifications for Vericert.

Mode	Name	Size
-rw-r--r--	attribs1	125	log stats plain
-rw-r--r--	bitfields1	69	log stats plain
-rw-r--r--	bitfields2	77	log stats plain
-rw-r--r--	bitfields3	38	log stats plain
-rw-r--r--	bitfields4	188	log stats plain
-rw-r--r--	bitfields5	74	log stats plain
-rw-r--r--	bitfields6	12	log stats plain
-rw-r--r--	bitfields7	12	log stats plain
-rw-r--r--	bitfields8	70	log stats plain
-rw-r--r--	bool	54	log stats plain
-rw-r--r--	casts1	6	log stats plain
-rw-r--r--	casts2	12	log stats plain
-rw-r--r--	casts3	1001	log stats plain
-rw-r--r--	char1	520	log stats plain
-rw-r--r--	compar	86	log stats plain
-rw-r--r--	expr1	10	log stats plain
-rw-r--r--	expr5	2	log stats plain
-rw-r--r--	expr6	181	log stats plain
-rw-r--r--	funct3	9	log stats plain
-rw-r--r--	funptr2	40	log stats plain
-rw-r--r--	initializers	479	log stats plain
-rw-r--r--	instrsel	545	log stats plain
-rw-r--r--	packedstruct1	612	log stats plain
-rw-r--r--	packedstruct2	185	log stats plain
-rw-r--r--	sizeof1	122	log stats plain
-rw-r--r--	sizeof2	4	log stats plain
-rw-r--r--	struct11	2	log stats plain
-rw-r--r--	struct7	229	log stats plain
-rw-r--r--	struct8	137	log stats plain
-rw-r--r--	switch	240	log stats plain
-rw-r--r--	volatile1	38	log stats plain
-rw-r--r--	volatile2	550	log stats plain
-rw-r--r--	volatile3	297	log stats plain