Test Coverage Report for SARL 1.22.1.22 r5854 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	38,473 of 92,297	58%	4,672 of 10,490	55%	4,196	8,477	8,324	20,590	1,030	2,952	69	293
dev.civl.sarl.prove.why3		0%		0%	396	396	1,248	1,248	171	171	16	16
dev.civl.sarl.prove.cvc		30%		23%	323	418	1,175	1,725	50	96	1	5
dev.civl.sarl.preuniverse.common		67%		61%	452	1,068	836	2,626	82	358	3	20
dev.civl.sarl.util.autotg		0%		0%	166	166	521	521	60	60	4	4
dev.civl.sarl.reason.common		37%		25%	226	314	578	909	70	122	8	17
dev.civl.sarl.number.real		72%		61%	517	1,066	407	1,644	21	157	0	11
dev.civl.sarl.ideal.common		73%		64%	247	740	399	1,628	38	316	3	21
dev.civl.sarl.simplify.eval		0%		0%	193	193	426	426	97	97	17	17
dev.civl.sarl.prove.z3		53%		45%	129	236	424	930	26	73	0	3
dev.civl.sarl.simplify.simplifier		75%		62%	245	618	348	1,522	25	188	0	16
dev.civl.sarl.util		56%		52%	233	403	350	837	140	235	7	29
dev.civl.sarl.expr.common		81%		72%	225	659	282	1,608	35	210	0	16
dev.civl.sarl.config.common		37%		26%	137	191	333	544	18	54	0	3
dev.civl.sarl.type.common		59%		47%	162	362	216	598	48	194	2	17
dev.civl.sarl.simplify.common		84%		81%	164	582	173	1,504	16	74	0	6
dev.civl.sarl.herbrand.common		37%		23%	88	123	148	237	46	73	0	4
dev.civl.sarl.simplify.simplification		76%		68%	77	214	117	557	10	80	2	17
dev.civl.sarl.object.common		76%		67%	62	264	89	436	14	157	0	10
dev.civl.sarl.simplify.norm		80%		72%	32	113	56	325	1	31	0	9
dev.civl.sarl.universe.common		12%		0%	21	24	45	54	14	17	1	2
dev.civl.sarl.prove.IF		30%		23%	20	28	39	57	7	11	1	2
dev.civl.sarl.expr.cnf		94%		88%	21	151	14	287	3	57	0	6
dev.civl.sarl.prove.common		58%		35%	10	20	17	42	5	13	1	4
dev.civl.sarl.IF.config		50%		66%	6	10	23	38	4	7	0	2
dev.civl.sarl.universe.IF		64%		50%	6	10	13	39	4	7	0	1
dev.civl.sarl.expr.common.valueSetReference		83%		55%	16	48	9	67	8	39	1	8
dev.civl.sarl.IF		58%		0%	5	10	12	31	3	8	2	7
dev.civl.sarl.expr.IF		65%		50%	5	9	9	27	3	7	0	1
dev.civl.sarl.preuniverse.IF		58%		n/a	2	5	7	15	2	5	0	1
dev.civl.sarl.reason.IF		33%		0%	3	5	3	6	2	4	0	1
dev.civl.sarl		69%		n/a	2	5	2	7	2	5	0	1
dev.civl.sarl.ideal.IF		83%		n/a	1	3	1	4	1	3	0	2
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	2	0	53	0	2	0	2
dev.civl.sarl.IF.type		100%		n/a	0	3	0	6	0	3	0	3
dev.civl.sarl.simplify.IF		100%		n/a	0	7	0	14	0	7	0	2
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