Test Coverage Report for SARL mile2 r1162

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	7,889 of 35,445	78%	1,233 of 3,665	66%	1,223	3,528	1,431	6,583	287	1,581	12	159
edu.udel.cis.vsl.sarl.preuniverse.common		80%		69%	197	622	264	1,247	11	200	0	10
edu.udel.cis.vsl.sarl.prove.cvc		74%		63%	114	314	205	879	6	88	0	6
edu.udel.cis.vsl.sarl.ideal.simplify		78%		63%	171	406	157	738	8	85	0	8
edu.udel.cis.vsl.sarl.herbrand.common		37%		21%	85	125	116	188	44	78	0	4
edu.udel.cis.vsl.sarl.type.common		70%		55%	90	250	120	396	16	135	0	17
edu.udel.cis.vsl.sarl.expr.common		87%		76%	101	341	81	652	18	140	0	15
edu.udel.cis.vsl.sarl.number.real		74%		64%	62	187	83	364	8	81	1	7
edu.udel.cis.vsl.sarl.ideal.common		89%		79%	102	473	73	786	26	268	1	20
edu.udel.cis.vsl.sarl.util		23%		25%	93	108	91	116	68	82	5	10
edu.udel.cis.vsl.sarl.collections.common		79%		62%	60	219	93	446	14	130	0	11
edu.udel.cis.vsl.sarl.reason.common		43%		33%	40	51	47	88	26	36	3	5
edu.udel.cis.vsl.sarl.expr.cnf		84%		75%	30	104	21	164	0	33	0	4
edu.udel.cis.vsl.sarl.simplify.common		80%		72%	25	67	27	144	7	24	0	4
edu.udel.cis.vsl.sarl.universe.common		22%		25%	10	13	22	33	8	11	1	2
edu.udel.cis.vsl.sarl.object.common		95%		87%	18	160	7	203	5	107	0	9
edu.udel.cis.vsl.sarl.universe		76%		n/a	2	5	8	34	2	5	0	1
edu.udel.cis.vsl.sarl.IF.type		92%		n/a	3	12	0	8	3	12	0	3
edu.udel.cis.vsl.sarl.expr		89%		50%	3	9	3	21	1	7	0	1
edu.udel.cis.vsl.sarl.prove		85%		75%	2	9	2	11	1	6	0	2
edu.udel.cis.vsl.sarl.IF.expr		98%		n/a	2	8	0	4	2	8	0	2
edu.udel.cis.vsl.sarl.IF		87%		n/a	2	7	2	10	2	7	1	4
edu.udel.cis.vsl.sarl.IF.object		95%		n/a	1	4	0	2	1	4	0	1
edu.udel.cis.vsl.sarl.collections.IF		91%		n/a	1	4	0	5	1	4	0	1
edu.udel.cis.vsl.sarl.preuniverse		95%		n/a	1	5	1	15	1	5	0	1
edu.udel.cis.vsl.sarl.ideal		83%		n/a	1	3	1	3	1	3	0	1
edu.udel.cis.vsl.sarl.herbrand		75%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.sarl.reason		67%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.sarl.collections		62%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.sarl.type		62%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.sarl.object		62%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.sarl.number		62%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.sarl		57%		n/a	1	3	1	3	1	3	0	1
edu.udel.cis.vsl.sarl.prove.common		100%		n/a	0	4	0	8	0	4	0	2
edu.udel.cis.vsl.sarl.simplify		100%		n/a	0	3	0	3	0	3	0	1