Test Coverage Report for CIVL 1.21 r5476 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	57,020 of 174,910	67%	7,217 of 17,176	57%	6,504	13,737	12,557	39,202	1,424	4,697	87	474
edu.udel.cis.vsl.civl.semantics.common		70%		61%	804	1,771	1,717	5,899	67	382	3	30
edu.udel.cis.vsl.civl.transform.common		74%		60%	936	2,040	1,681	6,658	74	432	5	30
edu.udel.cis.vsl.civl.model.common		72%		64%	836	2,120	1,602	5,819	138	626	4	25
edu.udel.cis.vsl.civl.transform.common.contracts		42%		36%	346	502	945	1,669	81	166	6	22
edu.udel.cis.vsl.civl.run.common		13%		18%	321	378	647	797	213	250	25	33
edu.udel.cis.vsl.civl.model.common.expression		58%		44%	420	891	674	1,677	170	516	6	46
edu.udel.cis.vsl.civl.kripke.common		59%		60%	259	528	609	1,474	55	122	5	15
edu.udel.cis.vsl.civl.slice.common		57%		44%	325	513	409	1,138	26	113	1	14
edu.udel.cis.vsl.civl.run.IF		62%		58%	139	257	428	1,096	29	83	4	14
edu.udel.cis.vsl.civl.state.common.immutable		83%		76%	241	824	389	2,258	50	279	1	16
edu.udel.cis.vsl.civl.model.common.statement		55%		52%	202	431	348	870	69	213	3	16
edu.udel.cis.vsl.civl.model.common.contract		17%		12%	174	207	298	368	76	107	5	10
edu.udel.cis.vsl.civl.library.common		68%		62%	76	164	192	624	7	41	0	6
edu.udel.cis.vsl.civl.library.civlc		77%		65%	122	280	193	896	9	66	0	12
edu.udel.cis.vsl.civl.library.comm		71%		61%	69	135	156	616	7	33	0	3
edu.udel.cis.vsl.civl.library.pthread		29%		32%	37	50	158	231	11	18	0	2
edu.udel.cis.vsl.civl.library.pointer		53%		36%	54	78	168	368	4	16	0	1
edu.udel.cis.vsl.civl.dynamic.common		76%		61%	131	284	180	755	18	100	1	5
edu.udel.cis.vsl.civl.library.mpi		37%		33%	37	55	158	252	11	21	0	2
edu.udel.cis.vsl.civl.util.IF		8%		4%	87	97	166	189	24	32	3	8
edu.udel.cis.vsl.civl.library.domain		36%		28%	44	56	148	243	11	19	0	2
edu.udel.cis.vsl.civl.model.common.type		73%		58%	157	422	145	650	74	286	0	24
edu.udel.cis.vsl.civl.transform.analysisIF		75%		67%	74	192	123	513	6	46	1	8
edu.udel.cis.vsl.civl.predicate.common		51%		53%	61	111	148	305	19	35	2	6
edu.udel.cis.vsl.civl.config.IF		80%		46%	78	173	106	620	44	130	0	4
edu.udel.cis.vsl.civl.library.stdio		78%		56%	46	92	118	482	4	18	0	2
edu.udel.cis.vsl.civl.analysis.common		12%		11%	56	63	131	153	15	20	2	4
edu.udel.cis.vsl.civl.transform.analysis.common		55%		33%	52	93	53	129	27	65	2	9
edu.udel.cis.vsl.civl.model.common.location		79%		75%	40	175	72	373	9	73	0	1
edu.udel.cis.vsl.civl.library.seq		68%		78%	16	46	45	160	0	7	0	1
edu.udel.cis.vsl.civl.library.string		76%		54%	33	51	45	214	0	7	0	1
edu.udel.cis.vsl.civl.log.IF		69%		44%	49	79	69	210	2	20	0	3
edu.udel.cis.vsl.civl.library.collate		55%		25%	18	23	41	92	8	12	1	2
edu.udel.cis.vsl.civl.model.common.expression.reference		6%		0%	31	35	61	68	19	23	2	4
edu.udel.cis.vsl.civl.library.time		65%		45%	7	10	15	58	1	4	0	1
edu.udel.cis.vsl.civl.model.IF.expression		91%		n/a	1	7	2	27	1	7	1	7
edu.udel.cis.vsl.civl.library.mem		95%		81%	16	95	14	329	0	35	0	4
edu.udel.cis.vsl.civl.state.IF		63%		50%	13	30	20	57	10	27	0	5
edu.udel.cis.vsl.civl.model.IF.contract		58%		n/a	2	4	4	8	2	4	2	4
edu.udel.cis.vsl.civl.library.bundle		96%		83%	23	90	6	334	0	20	0	1
edu.udel.cis.vsl.civl.model.IF		88%		37%	14	35	19	63	10	31	1	9
edu.udel.cis.vsl.civl.model.common.variable		76%		57%	12	43	19	79	5	30	0	1
edu.udel.cis.vsl.civl.library.math		73%		54%	5	10	9	32	0	4	0	1
edu.udel.cis.vsl.civl.semantics.IF		90%		75%	6	27	6	43	5	25	0	11
edu.udel.cis.vsl.civl		0%		0%	4	4	6	6	2	2	1	1
edu.udel.cis.vsl.civl.transform		71%		50%	7	10	3	20	1	4	0	1
edu.udel.cis.vsl.civl.transform.IF		98%		65%	14	104	3	162	3	88	0	32
edu.udel.cis.vsl.civl.predicate.IF		57%		n/a	3	6	3	6	3	6	0	1
edu.udel.cis.vsl.civl.dynamic.immutable		97%		93%	2	18	2	50	1	10	0	2
edu.udel.cis.vsl.civl.analysis.IF		95%		100%	1	9	1	14	1	5	0	1
edu.udel.cis.vsl.civl.kripke.IF		91%		n/a	1	5	1	5	1	5	0	2
edu.udel.cis.vsl.civl.dynamic.IF		82%		n/a	1	3	1	3	1	3	0	1
edu.udel.cis.vsl.civl.model.IF.type		100%		n/a	0	2	0	7	0	2	0	2
edu.udel.cis.vsl.civl.model.IF.statement		100%		n/a	0	2	0	14	0	2	0	2
edu.udel.cis.vsl.civl.model.IF.expression.reference		100%		n/a	0	2	0	6	0	2	0	2
edu.udel.cis.vsl.civl.library.scope		100%		50%	1	4	0	11	0	3	0	1
edu.udel.cis.vsl.civl.model.IF.location		100%		n/a	0	1	0	2	0	1	0	1