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

Mode	Name	Size
-rw-r--r--	Makefile	2919	log plain
-rw-r--r--	NaNs.c	3054	log plain
d---------	Results	1816	log plain
-rw-r--r--	alignas.c	2324	log plain
-rw-r--r--	annot1.c	1302	log plain
-rw-r--r--	attribs1.c	1522	log plain
-rw-r--r--	binops.c	1483	log plain
-rw-r--r--	bitfields1.c	536	log plain
-rw-r--r--	bitfields2.c	481	log plain
-rw-r--r--	bitfields3.c	200	log plain
-rw-r--r--	bitfields4.c	728	log plain
-rw-r--r--	bitfields5.c	423	log plain
-rw-r--r--	bitfields6.c	245	log plain
-rw-r--r--	bitfields7.c	258	log plain
-rw-r--r--	bitfields8.c	415	log plain
-rw-r--r--	bool.c	514	log plain
-rw-r--r--	builtins-arm.c	859	log plain
-rw-r--r--	builtins-ia32.c	1392	log plain
-rw-r--r--	builtins-powerpc.c	1742	log plain
-rw-r--r--	casts1.c	137	log plain
-rw-r--r--	casts2.c	215	log plain
-rw-r--r--	casts3.c	1103	log plain
-rw-r--r--	char1.c	241	log plain
-rwxr-xr-x	check-pragmas	365	log plain
-rw-r--r--	commaprec.c	91	log plain
-rw-r--r--	compar.c	1519	log plain
-rw-r--r--	compound.c	3449	log plain
-rw-r--r--	emptydecl.c	12	log plain
-rw-r--r--	expr1.c	237	log plain
-rw-r--r--	expr2.c	78	log plain
-rw-r--r--	expr3.c	94	log plain
-rw-r--r--	expr4.c	88	log plain
-rw-r--r--	expr5.c	136	log plain
-rw-r--r--	expr6.c	855	log plain
-rw-r--r--	extern1.c	76	log plain
-rw-r--r--	floats-basics.c	2019	log plain
-rw-r--r--	floats.c	898587	log plain
-rw-r--r--	for1.c	470	log plain
-rw-r--r--	funct1.c	124	log plain
-rw-r--r--	funct2.c	63	log plain
-rw-r--r--	funct3.c	174	log plain
-rw-r--r--	funptr1.c	250	log plain
-rw-r--r--	funptr2.c	337	log plain
-rw-r--r--	init1.c	138	log plain
-rw-r--r--	init2.c	159	log plain
-rw-r--r--	init3.c	142	log plain
-rw-r--r--	init4.c	186	log plain
-rw-r--r--	initializers.c	3335	log plain
-rw-r--r--	initializers2.c	1919	log plain
-rw-r--r--	initializers3.c	2078	log plain
-rw-r--r--	instrsel.c	3541	log plain
-rw-r--r--	int32.c	2741	log plain
-rw-r--r--	int64.c	2822	log plain
-rw-r--r--	packedstruct1.c	3271	log plain
-rw-r--r--	packedstruct2.c	1161	log plain
-rw-r--r--	pragmas.c	1264	log plain
-rw-r--r--	ptrs1.c	68	log plain
-rw-r--r--	ptrs2.c	479	log plain
-rw-r--r--	sections.c	2051	log plain
-rw-r--r--	seqops.c	2664	log plain
-rw-r--r--	singlefloats.c	504	log plain
-rw-r--r--	sizeof1.c	948	log plain
-rw-r--r--	sizeof2.c	154	log plain
-rw-r--r--	struct1.c	100	log plain
-rw-r--r--	struct10.c	49	log plain
-rw-r--r--	struct11.c	461	log plain
-rw-r--r--	struct2.c	88	log plain
-rw-r--r--	struct3.c	238	log plain
-rw-r--r--	struct4.c	166	log plain
-rw-r--r--	struct5.c	544	log plain
-rw-r--r--	struct6.c	179	log plain
-rw-r--r--	struct7.c	1252	log plain
-rw-r--r--	struct8.c	927	log plain
-rw-r--r--	struct9.c	186	log plain
-rw-r--r--	switch.c	656	log plain
-rw-r--r--	switch2.c	1157	log plain
-rw-r--r--	types1.c	247	log plain
-rw-r--r--	varargs1.c	362	log plain
-rw-r--r--	varargs2.c	3165	log plain
-rw-r--r--	volatile1.c	390	log plain
-rw-r--r--	volatile2.c	1584	log plain
-rw-r--r--	volatile3.c	1321	log plain