Test Coverage Report for CIVL 1.4 r2531 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	41,928 of 135,584	69%	4,937 of 12,155	59%	4,557	9,902	7,321	24,392	1,011	3,435	83	388
edu.udel.cis.vsl.civl.gui.common		0%		0%	426	426	1,347	1,347	232	232	54	54
edu.udel.cis.vsl.civl.transform.common		73%		58%	750	1,495	1,122	3,987	34	234	2	16
edu.udel.cis.vsl.civl.model.common		75%		69%	598	1,726	797	3,872	101	523	2	26
edu.udel.cis.vsl.civl.semantics.common		78%		70%	329	887	526	2,813	10	178	0	14
edu.udel.cis.vsl.civl.model.common.expression		51%		39%	337	706	567	1,291	128	417	2	40
edu.udel.cis.vsl.civl.run.IF		60%		55%	164	282	367	957	30	88	2	11
edu.udel.cis.vsl.civl.run.common		53%		36%	229	393	265	726	109	247	6	33
edu.udel.cis.vsl.civl.state.common.immutable		79%		74%	186	583	263	1,379	49	227	1	14
edu.udel.cis.vsl.civl.kripke.common		72%		72%	137	352	224	801	36	104	1	13
edu.udel.cis.vsl.civl.model.common.statement		63%		66%	85	269	149	572	32	149	1	15
edu.udel.cis.vsl.civl.gui.IF		0%		0%	52	52	179	179	14	14	3	3
edu.udel.cis.vsl.civl.model.common.type		61%		54%	113	286	130	422	58	190	0	15
edu.udel.cis.vsl.civl.dynamic.common		77%		62%	98	233	123	573	9	87	1	4
edu.udel.cis.vsl.civl.library.domain		55%		45%	53	87	100	228	5	21	0	3
edu.udel.cis.vsl.civl.library.pointer		68%		60%	53	106	78	288	0	17	0	3
edu.udel.cis.vsl.civl.predicate.common		55%		53%	62	108	139	294	17	32	2	5
edu.udel.cis.vsl.civl.library.common		79%		60%	71	136	69	421	3	33	0	6
edu.udel.cis.vsl.civl.util.IF		12%		8%	65	74	111	131	14	22	1	5
edu.udel.cis.vsl.civl.library.stdio		80%		55%	62	120	97	399	3	20	0	4
edu.udel.cis.vsl.civl.model.common.location		63%		69%	44	151	84	310	10	55	0	1
edu.udel.cis.vsl.civl.library.seq		59%		73%	25	60	41	156	0	10	0	3
edu.udel.cis.vsl.civl.library.comm		88%		66%	100	204	55	650	2	36	0	3
edu.udel.cis.vsl.civl.library.civlc		86%		68%	86	207	58	462	0	37	0	4
edu.udel.cis.vsl.civl.library.bundle		75%		64%	36	68	39	207	0	12	0	3
edu.udel.cis.vsl.civl.library.pthread		75%		51%	36	67	49	190	4	17	0	3
edu.udel.cis.vsl.civl.library.string		76%		56%	41	65	34	189	0	11	0	4
edu.udel.cis.vsl.civl.model.common.expression.reference		7%		0%	31	35	61	68	19	23	2	4
edu.udel.cis.vsl.civl.log.IF		67%		38%	43	66	38	142	3	19	0	3
edu.udel.cis.vsl.civl.config.IF		89%		40%	47	111	48	249	22	83	0	3
edu.udel.cis.vsl.civl.library.time		69%		42%	13	19	15	55	1	6	0	3
edu.udel.cis.vsl.civl.library.mpi		85%		64%	37	76	15	158	0	15	0	3
edu.udel.cis.vsl.civl.state.IF		47%		50%	16	33	29	57	13	30	0	5
edu.udel.cis.vsl.civl.library.concurrency		92%		76%	22	73	11	253	0	17	0	3
edu.udel.cis.vsl.civl.model.IF.expression		86%		n/a	9	24	2	18	9	24	1	6
edu.udel.cis.vsl.civl.model.common.variable		69%		48%	21	53	28	92	3	27	0	1
edu.udel.cis.vsl.civl.model.IF		84%		50%	17	34	16	47	13	29	0	8
edu.udel.cis.vsl.civl.library.stdlib		78%		64%	8	18	10	46	0	6	0	3
edu.udel.cis.vsl.civl.semantics.IF		82%		n/a	8	28	7	32	8	28	1	7
edu.udel.cis.vsl.civl.analysis.common		93%		76%	18	67	15	144	2	24	0	5
edu.udel.cis.vsl.civl		0%		0%	4	4	6	6	2	2	1	1
edu.udel.cis.vsl.civl.predicate.IF		53%		n/a	3	5	3	5	3	5	0	1
edu.udel.cis.vsl.civl.model.IF.statement		92%		n/a	3	8	0	10	3	8	0	2
edu.udel.cis.vsl.civl.model.IF.type		96%		n/a	2	8	0	4	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.transform.IF		99%		97%	2	50	1	85	1	35	0	11
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		99%		58%	5	12	0	30	0	6	0	3
edu.udel.cis.vsl.civl.library.asserts		100%		62%	3	8	0	19	0	4	0	3