Test Coverage Report for SARL 2.0 main 57 [df56db2] Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	34,960 of 90,250	61%	4,567 of 10,547	56%	3,943	8,347	7,058	19,245	863	2,844	53	284
dev.civl.sarl.prove.cvc		25%		19%	347	430	1,233	1,680	59	101	1	5
dev.civl.sarl.preuniverse.common		65%		60%	469	1,093	831	2,513	86	367	3	20
dev.civl.sarl.expr.common		66%		57%	380	859	627	2,007	58	271	2	21
dev.civl.sarl.prove.smt		51%		42%	211	376	586	1,203	45	124	1	6
dev.civl.sarl.ideal.common		71%		63%	261	756	403	1,560	43	322	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		44%		33%	111	167	253	468	13	47	0	3
dev.civl.sarl.herbrand.common		35%		22%	106	146	144	231	56	86	0	4
dev.civl.sarl.simplify.simplification		78%		68%	66	196	94	467	12	81	3	20
dev.civl.sarl.object.common		76%		66%	64	266	90	437	14	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		33%		25%	20	30	37	58	7	12	1	2
dev.civl.sarl.prove.common		47%		18%	21	32	25	52	11	21	2	6
dev.civl.sarl.expr.cnf		94%		88%	21	151	14	286	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