Test Coverage Report for CIVL 1.8 r4174 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	75,371 of 178,989	58%	8,181 of 16,665	51%	7,171	13,334	15,465	37,710	1,743	4,530	142	481
edu.udel.cis.vsl.civl.transform.common		56%		52%	1,455	2,566	3,762	8,888	186	465	11	32
edu.udel.cis.vsl.civl.model.common		70%		63%	879	2,148	1,625	5,745	144	620	3	29
edu.udel.cis.vsl.civl.semantics.common		65%		56%	662	1,336	1,603	4,594	45	274	0	24
edu.udel.cis.vsl.civl.gui.common		0%		0%	426	426	1,511	1,511	232	232	54	54
edu.udel.cis.vsl.civl.state.common.immutable		60%		54%	472	947	901	2,387	144	350	6	19
edu.udel.cis.vsl.civl.model.common.expression		53%		40%	479	940	815	1,798	191	542	9	52
edu.udel.cis.vsl.civl.kripke.common		55%		60%	267	539	679	1,539	61	139	4	18
edu.udel.cis.vsl.civl.slice.common		0%		0%	218	218	527	527	60	60	9	9
edu.udel.cis.vsl.civl.run.IF		54%		48%	174	270	477	1,025	37	88	4	15
edu.udel.cis.vsl.civl.run.common		54%		43%	237	422	276	809	111	254	6	34
edu.udel.cis.vsl.civl.model.common.statement		53%		53%	209	441	338	889	72	217	4	18
edu.udel.cis.vsl.civl.model.common.contract		16%		12%	175	208	298	368	77	108	6	11
edu.udel.cis.vsl.civl.library.common		72%		58%	92	175	180	669	9	45	0	7
edu.udel.cis.vsl.civl.library.pthread		29%		24%	62	76	172	249	11	18	0	2
edu.udel.cis.vsl.civl.library.comm		71%		58%	92	165	162	630	7	33	0	3
edu.udel.cis.vsl.civl.library.mpi		35%		37%	48	70	174	268	12	22	1	3
edu.udel.cis.vsl.civl.dynamic.common		75%		60%	131	276	187	749	19	100	1	5
edu.udel.cis.vsl.civl.gui.IF		0%		0%	52	52	189	189	14	14	3	3
edu.udel.cis.vsl.civl.library.domain		36%		23%	63	74	149	243	11	19	0	2
edu.udel.cis.vsl.civl.util.IF		14%		15%	83	101	149	189	26	36	4	9
edu.udel.cis.vsl.civl.model.common.type		63%		56%	109	289	131	457	54	188	0	15
edu.udel.cis.vsl.civl.library.pointer		68%		60%	53	106	114	383	0	16	0	1
edu.udel.cis.vsl.civl.library.stdio		77%		52%	61	115	123	496	4	19	0	3
edu.udel.cis.vsl.civl.config.IF		78%		34%	97	182	98	564	47	126	0	4
edu.udel.cis.vsl.civl.analysis.common		11%		12%	60	67	131	153	19	24	3	5
edu.udel.cis.vsl.civl.predicate.common		53%		51%	65	111	152	306	19	35	2	6
edu.udel.cis.vsl.civl.library.civlc		77%		59%	86	176	83	383	5	31	0	4
edu.udel.cis.vsl.civl.model.common.location		72%		76%	41	182	73	376	9	71	0	1
edu.udel.cis.vsl.civl.library.seq		60%		74%	23	54	47	169	0	7	0	1
edu.udel.cis.vsl.civl.log.IF		60%		32%	52	77	59	174	2	20	0	3
edu.udel.cis.vsl.civl.library.string		73%		54%	37	57	49	189	0	8	0	2
edu.udel.cis.vsl.civl.model.common.expression.reference		7%		0%	31	35	61	68	19	23	2	4
edu.udel.cis.vsl.civl.library.collate		66%		44%	19	27	28	87	4	9	1	2
edu.udel.cis.vsl.civl.library.bundle		73%		50%	27	38	17	86	1	8	0	1
edu.udel.cis.vsl.civl.library.time		65%		39%	11	14	16	59	1	4	0	1
edu.udel.cis.vsl.civl.transform.IF		85%		59%	24	103	22	159	13	87	4	32
edu.udel.cis.vsl.civl.model.IF.expression		89%		n/a	10	28	2	23	10	28	1	7
edu.udel.cis.vsl.civl.model.IF.contract		52%		n/a	10	16	4	8	10	16	2	4
edu.udel.cis.vsl.civl.model.IF		83%		38%	19	34	21	51	15	30	1	8
edu.udel.cis.vsl.civl.state.IF		59%		50%	14	33	20	57	11	30	0	5
edu.udel.cis.vsl.civl.model.common.variable		66%		58%	12	43	19	79	5	30	0	1
edu.udel.cis.vsl.civl.semantics.IF		81%		75%	10	36	7	43	9	34	0	9
edu.udel.cis.vsl.civl		0%		0%	6	6	8	8	2	2	1	1
edu.udel.cis.vsl.civl.predicate.IF		58%		n/a	3	6	3	6	3	6	0	1
edu.udel.cis.vsl.civl.model.IF.statement		93%		n/a	3	8	0	14	3	8	0	2
edu.udel.cis.vsl.civl.model.IF.type		96%		n/a	2	8	0	5	2	8	0	2
edu.udel.cis.vsl.civl.model.IF.expression.reference		90%		n/a	2	8	0	6	2	8	0	2
edu.udel.cis.vsl.civl.model.IF.location		87%		n/a	2	4	0	2	2	4	0	1
edu.udel.cis.vsl.civl.analysis.IF		96%		100%	1	9	1	14	1	5	0	1
edu.udel.cis.vsl.civl.kripke.IF		90%		n/a	1	4	1	4	1	4	0	1
edu.udel.cis.vsl.civl.dynamic.IF		67%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.civl.library.scope		100%		50%	3	6	0	13	0	3	0	1