Test Coverage Report for CIVL 1.10 r4380 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	62,462 of 177,893	65%	7,216 of 16,650	57%	6,442	13,262	12,736	37,610	1,430	4,464	122	484
edu.udel.cis.vsl.civl.transform.common		70%		61%	1,061	2,253	2,255	7,725	61	378	3	27
edu.udel.cis.vsl.civl.model.common		72%		65%	845	2,172	1,507	5,782	132	623	3	29
edu.udel.cis.vsl.civl.semantics.common		71%		62%	575	1,289	1,259	4,471	21	247	0	22
edu.udel.cis.vsl.civl.gui.common		0%		0%	426	426	1,511	1,511	232	232	54	54
edu.udel.cis.vsl.civl.model.common.expression		59%		45%	426	933	684	1,768	163	545	5	52
edu.udel.cis.vsl.civl.kripke.common		63%		65%	250	561	591	1,601	50	131	4	18
edu.udel.cis.vsl.civl.slice.common		0%		0%	218	218	525	525	60	60	9	9
edu.udel.cis.vsl.civl.run.IF		55%		49%	171	271	471	1,033	37	88	4	15
edu.udel.cis.vsl.civl.run.common		54%		43%	237	422	276	810	111	254	6	34
edu.udel.cis.vsl.civl.model.common.statement		58%		56%	191	440	301	886	58	216	3	18
edu.udel.cis.vsl.civl.state.common.immutable		85%		80%	210	776	273	2,064	43	262	1	15
edu.udel.cis.vsl.civl.model.common.contract		16%		12%	176	208	298	368	77	108	6	11
edu.udel.cis.vsl.civl.transform.common.contracts		78%		62%	132	311	258	1,175	14	103	0	8
edu.udel.cis.vsl.civl.library.common		70%		57%	92	172	183	643	9	44	0	7
edu.udel.cis.vsl.civl.library.pthread		29%		24%	62	76	172	249	11	18	0	2
edu.udel.cis.vsl.civl.util.IF		9%		8%	95	108	179	208	30	39	5	10
edu.udel.cis.vsl.civl.library.comm		76%		61%	86	165	137	632	6	33	0	3
edu.udel.cis.vsl.civl.gui.IF		0%		0%	52	52	193	193	14	14	3	3
edu.udel.cis.vsl.civl.library.domain		36%		23%	63	74	148	242	11	19	0	2
edu.udel.cis.vsl.civl.dynamic.common		77%		61%	130	278	171	744	17	100	1	5
edu.udel.cis.vsl.civl.model.common.type		62%		56%	108	289	129	451	53	188	0	15
edu.udel.cis.vsl.civl.library.pointer		69%		60%	52	106	112	383	0	16	0	1
edu.udel.cis.vsl.civl.library.civlc		79%		62%	117	250	112	592	8	45	0	5
edu.udel.cis.vsl.civl.library.stdio		77%		52%	61	115	122	488	4	19	0	3
edu.udel.cis.vsl.civl.analysis.common		11%		12%	60	67	131	153	19	24	3	5
edu.udel.cis.vsl.civl.config.IF		78%		37%	93	184	97	573	46	128	0	4
edu.udel.cis.vsl.civl.predicate.common		54%		51%	65	111	151	305	19	35	2	6
edu.udel.cis.vsl.civl.model.common.location		72%		75%	42	185	73	380	9	73	0	1
edu.udel.cis.vsl.civl.library.seq		60%		74%	23	54	47	170	0	7	0	1
edu.udel.cis.vsl.civl.library.mpi		79%		54%	33	70	53	250	4	22	0	3
edu.udel.cis.vsl.civl.library.string		74%		55%	36	57	48	189	0	8	0	2
edu.udel.cis.vsl.civl.log.IF		64%		39%	43	69	68	187	2	20	0	3
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.bundle		71%		50%	27	38	17	86	1	8	0	1
edu.udel.cis.vsl.civl.library.time		64%		39%	11	14	16	57	1	4	0	1
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		58%		50%	14	33	20	57	11	30	0	5
edu.udel.cis.vsl.civl.transform.IF		92%		62%	20	109	12	170	8	92	2	34
edu.udel.cis.vsl.civl.semantics.IF		80%		75%	10	34	7	41	9	32	0	9
edu.udel.cis.vsl.civl.model.common.variable		79%		73%	11	43	11	79	4	30	0	1
edu.udel.cis.vsl.civl.library.collate		89%		62%	15	27	9	89	3	9	1	2
edu.udel.cis.vsl.civl.dynamic.immutable		83%		70%	9	26	7	56	1	11	0	1
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		91%		n/a	1	5	1	5	1	5	0	2
edu.udel.cis.vsl.civl.dynamic.IF		80%		n/a	1	3	1	3	1	3	0	1
edu.udel.cis.vsl.civl.library.scope		100%		50%	3	6	0	11	0	3	0	1