Test Coverage Report for SARL trunk r2891

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	38,562 of 93,043	58%	5,135 of 11,236	54%	4,571	8,848	8,268	20,592	1,019	2,950	69	292
edu.udel.cis.vsl.sarl.prove.why3		0%		0%	410	410	1,249	1,249	171	171	16	16
edu.udel.cis.vsl.sarl.prove.cvc		35%		26%	322	432	1,084	1,720	41	96	1	5
edu.udel.cis.vsl.sarl.preuniverse.common		68%		60%	477	1,092	822	2,626	80	356	3	20
edu.udel.cis.vsl.sarl.util.autotg		0%		0%	168	168	521	521	60	60	4	4
edu.udel.cis.vsl.sarl.reason.common		37%		25%	241	327	579	910	70	122	8	17
edu.udel.cis.vsl.sarl.number.real		72%		60%	599	1,148	408	1,646	21	157	0	11
edu.udel.cis.vsl.sarl.simplify.eval		0%		0%	201	201	426	426	97	97	17	17
edu.udel.cis.vsl.sarl.prove.z3		51%		44%	138	243	431	928	26	73	0	3
edu.udel.cis.vsl.sarl.ideal.common		73%		63%	284	776	399	1,634	38	316	3	21
edu.udel.cis.vsl.sarl.simplify.simplifier		73%		60%	264	625	368	1,500	25	186	0	15
edu.udel.cis.vsl.sarl.util		56%		50%	245	412	354	837	140	235	7	29
edu.udel.cis.vsl.sarl.expr.common		81%		69%	264	698	280	1,601	35	210	0	16
edu.udel.cis.vsl.sarl.config.common		37%		26%	135	191	331	544	16	54	0	3
edu.udel.cis.vsl.sarl.type.common		59%		46%	187	387	217	604	49	195	2	17
edu.udel.cis.vsl.sarl.simplify.common		84%		78%	218	636	173	1,506	16	74	0	6
edu.udel.cis.vsl.sarl.herbrand.common		38%		24%	90	125	148	237	46	73	0	4
edu.udel.cis.vsl.sarl.simplify.simplification		76%		67%	83	220	117	557	10	80	2	17
edu.udel.cis.vsl.sarl.object.common		76%		66%	66	268	89	436	14	157	0	10
edu.udel.cis.vsl.sarl.simplify.norm		80%		72%	32	113	56	325	1	31	0	9
edu.udel.cis.vsl.sarl.prove.IF		28%		20%	23	31	42	60	8	12	1	2
edu.udel.cis.vsl.sarl.universe.common		12%		0%	21	24	45	54	14	17	1	2
edu.udel.cis.vsl.sarl.expr.cnf		93%		85%	30	160	14	287	3	57	0	6
edu.udel.cis.vsl.sarl.universe.IF		50%		41%	9	13	29	57	4	7	0	1
edu.udel.cis.vsl.sarl.prove.common		58%		35%	10	20	17	42	5	13	1	4
edu.udel.cis.vsl.sarl.IF.config		50%		66%	6	10	22	37	4	7	0	2
edu.udel.cis.vsl.sarl.expr.common.valueSetReference		82%		52%	24	56	9	67	8	39	1	8
edu.udel.cis.vsl.sarl.IF		58%		0%	5	10	12	31	3	8	2	7
edu.udel.cis.vsl.sarl.expr.IF		65%		50%	5	9	9	27	3	7	0	1
edu.udel.cis.vsl.sarl.reason.IF		39%		16%	5	7	3	6	2	4	0	1
edu.udel.cis.vsl.sarl.preuniverse.IF		58%		n/a	2	5	7	15	2	5	0	1
edu.udel.cis.vsl.sarl		69%		n/a	2	5	2	7	2	5	0	1
edu.udel.cis.vsl.sarl.ideal.IF		83%		n/a	1	3	1	4	1	3	0	2
edu.udel.cis.vsl.sarl.herbrand.IF		72%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.sarl.object.IF		62%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.sarl.number.IF		62%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.sarl.type.IF		62%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.sarl.IF.expr		100%		n/a	0	2	0	53	0	2	0	2
edu.udel.cis.vsl.sarl.IF.type		100%		n/a	0	3	0	6	0	3	0	3
edu.udel.cis.vsl.sarl.simplify.IF		100%		n/a	0	7	0	14	0	7	0	2
edu.udel.cis.vsl.sarl.IF.object		100%		n/a	0	1	0	2	0	1	0	1
edu.udel.cis.vsl.sarl.IF.expr.valueSetReference		100%		n/a	0	1	0	7	0	1	0	1
edu.udel.cis.vsl.sarl.IF.number		100%		n/a	0	1	0	1	0	1	0	1