Test Coverage Report for SARL 1.22.trunk r6036 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	35,174 of 90,261	61%	4,581 of 10,539	56%	3,960	8,338	7,232	19,589	872	2,839	54	284
dev.civl.sarl.prove.cvc		29%		24%	334	430	1,164	1,680	55	101	1	5
dev.civl.sarl.preuniverse.common		65%		60%	469	1,092	887	2,700	86	366	3	20
dev.civl.sarl.expr.common		65%		57%	382	857	643	2,020	60	270	2	21
dev.civl.sarl.prove.smt		42%		33%	238	374	686	1,195	56	123	2	6
dev.civl.sarl.ideal.common		71%		63%	260	753	434	1,664	43	321	3	21
dev.civl.sarl.number.real		72%		61%	519	1,066	408	1,644	20	157	0	11
dev.civl.sarl.simplify.eval		0%		0%	193	193	426	426	97	97	17	17
dev.civl.sarl.simplify.simplifier		74%		63%	265	653	380	1,635	23	163	0	14
dev.civl.sarl.reason.common		21%		15%	180	223	464	581	59	88	6	9
dev.civl.sarl.util		56%		51%	234	403	350	837	140	235	7	29
dev.civl.sarl.simplify.common		82%		79%	188	649	259	1,805	13	92	1	11
dev.civl.sarl.type.common		58%		46%	172	373	229	614	51	198	2	17
dev.civl.sarl.config.common		43%		32%	112	167	257	468	12	47	0	3
dev.civl.sarl.herbrand.common		35%		22%	106	145	178	278	56	85	0	4
dev.civl.sarl.simplify.simplification		78%		68%	66	196	94	467	12	81	3	20
dev.civl.sarl.object.common		76%		66%	65	266	91	437	15	158	0	10
dev.civl.sarl.universe.common		22%		4%	24	32	55	77	12	20	1	3
dev.civl.sarl.simplify.norm		79%		71%	35	116	61	331	1	31	0	9
dev.civl.sarl.prove.IF		31%		22%	21	30	38	58	7	12	1	2
dev.civl.sarl.prove.common		48%		22%	20	32	25	52	11	21	2	6
dev.civl.sarl.expr.cnf		94%		88%	21	151	14	287	3	57	0	6
dev.civl.sarl.universe.IF		65%		57%	11	22	18	56	6	15	0	1
dev.civl.sarl.IF.config		46%		66%	6	10	20	34	4	7	0	2
dev.civl.sarl.expr.common.valueSetReference		82%		61%	16	48	10	67	9	39	1	8
dev.civl.sarl.IF		52%		0%	5	10	12	27	3	8	2	7
dev.civl.sarl		20%		n/a	6	9	8	11	6	9	0	1
dev.civl.sarl.expr.IF		64%		n/a	3	6	7	18	3	6	0	1
dev.civl.sarl.preuniverse.IF		58%		n/a	2	5	7	15	2	5	0	1
dev.civl.sarl.simplify.IF		94%		n/a	1	4	1	11	1	4	0	2
dev.civl.sarl.ideal.IF		83%		n/a	1	3	1	4	1	3	0	2
dev.civl.sarl.reason.IF		75%		n/a	1	2	1	3	1	2	0	1
dev.civl.sarl.herbrand.IF		72%		n/a	1	2	1	2	1	2	0	1
dev.civl.sarl.type.IF		62%		n/a	1	2	1	2	1	2	0	1
dev.civl.sarl.number.IF		62%		n/a	1	2	1	2	1	2	0	1
dev.civl.sarl.object.IF		62%		n/a	1	2	1	2	1	2	0	1
dev.civl.sarl.IF.expr		100%		n/a	0	3	0	57	0	3	0	3
dev.civl.sarl.IF.type		100%		n/a	0	4	0	12	0	4	0	4
dev.civl.sarl.IF.object		100%		n/a	0	1	0	2	0	1	0	1
dev.civl.sarl.IF.expr.valueSetReference		100%		n/a	0	1	0	7	0	1	0	1
dev.civl.sarl.IF.number		100%		n/a	0	1	0	1	0	1	0	1