Test Coverage Report for CIVL 1.17 r4979 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	67,871 of 192,558	64%	7,593 of 17,523	56%	6,693	13,909	13,849	40,757	1,439	4,730	126	543
edu.udel.cis.vsl.civl.transform.common		70%		59%	1,082	2,261	2,302	7,972	67	407	4	32
edu.udel.cis.vsl.civl.semantics.common		69%		59%	691	1,496	1,544	5,091	43	317	0	32
edu.udel.cis.vsl.civl.model.common		72%		66%	794	2,112	1,507	5,778	136	628	5	31
edu.udel.cis.vsl.civl.gui.common		0%		0%	424	424	1,511	1,511	230	230	54	54
edu.udel.cis.vsl.civl.model.common.expression		58%		46%	406	912	654	1,724	150	530	4	50
edu.udel.cis.vsl.civl.kripke.common		61%		64%	259	570	617	1,622	51	130	4	18
edu.udel.cis.vsl.civl.library.civlc		49%		43%	213	350	532	1,096	35	87	5	17
edu.udel.cis.vsl.civl.slice.common		53%		44%	326	515	409	1,138	27	115	2	16
edu.udel.cis.vsl.civl.transform.common.contracts		66%		51%	210	400	483	1,446	32	130	3	13
edu.udel.cis.vsl.civl.run.common		55%		51%	199	380	276	801	110	252	6	34
edu.udel.cis.vsl.civl.run.IF		63%		60%	133	257	396	1,076	29	86	4	15
edu.udel.cis.vsl.civl.model.common.statement		53%		52%	200	440	339	886	62	216	3	18
edu.udel.cis.vsl.civl.library.mem		56%		35%	117	204	273	641	21	70	3	14
edu.udel.cis.vsl.civl.state.common.immutable		84%		78%	221	783	283	2,059	46	264	1	15
edu.udel.cis.vsl.civl.model.common.contract		16%		11%	176	208	298	368	77	108	6	11
edu.udel.cis.vsl.civl.library.common		66%		59%	83	165	189	617	8	41	0	7
edu.udel.cis.vsl.civl.util.IF		6%		4%	96	106	185	208	29	37	5	10
edu.udel.cis.vsl.civl.library.pthread		29%		33%	39	52	158	231	11	18	0	2
edu.udel.cis.vsl.civl.gui.IF		0%		0%	52	52	193	193	14	14	3	3
edu.udel.cis.vsl.civl.library.comm		75%		63%	72	145	132	615	6	33	0	3
edu.udel.cis.vsl.civl.library.domain		36%		28%	47	58	148	242	11	19	0	2
edu.udel.cis.vsl.civl.dynamic.common		77%		61%	121	266	160	707	17	97	1	6
edu.udel.cis.vsl.civl.model.common.type		64%		56%	109	310	128	484	57	215	0	18
edu.udel.cis.vsl.civl.library.pointer		68%		60%	35	78	106	368	0	16	0	1
edu.udel.cis.vsl.civl.analysis.common		11%		11%	58	65	131	153	17	22	3	5
edu.udel.cis.vsl.civl.predicate.common		53%		52%	63	111	149	305	19	35	2	6
edu.udel.cis.vsl.civl.library.stdio		77%		56%	46	93	118	482	4	19	0	3
edu.udel.cis.vsl.civl.config.IF		80%		46%	73	167	99	589	41	126	0	4
edu.udel.cis.vsl.civl.model.common.location		71%		75%	41	185	73	380	9	73	0	1
edu.udel.cis.vsl.civl.library.bundle		77%		72%	38	90	54	329	1	20	0	1
edu.udel.cis.vsl.civl.library.seq		60%		78%	16	46	45	160	0	7	0	1
edu.udel.cis.vsl.civl.library.mpi		79%		57%	22	55	52	247	4	22	0	3
edu.udel.cis.vsl.civl.library.string		76%		54%	33	52	46	214	0	8	0	2
edu.udel.cis.vsl.civl.log.IF		68%		44%	49	79	69	210	2	20	0	3
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		63%		38%	11	14	15	58	1	4	0	1
edu.udel.cis.vsl.civl.state.IF		58%		50%	13	31	20	57	10	28	0	5
edu.udel.cis.vsl.civl.model.common.variable		66%		57%	12	43	19	79	5	30	0	1
edu.udel.cis.vsl.civl.model.IF		86%		37%	16	38	21	63	12	34	1	9
edu.udel.cis.vsl.civl.model.IF.expression		91%		n/a	2	14	2	27	2	14	1	7
edu.udel.cis.vsl.civl.model.IF.contract		57%		n/a	4	8	4	8	4	8	2	4
edu.udel.cis.vsl.civl.library.collate		88%		63%	11	21	9	88	3	9	1	2
edu.udel.cis.vsl.civl.semantics.IF		84%		75%	6	30	6	43	5	28	0	11
edu.udel.cis.vsl.civl.library.math		71%		54%	5	10	9	32	0	4	0	1
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.transform.IF		98%		65%	14	103	3	161	3	87	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.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		80%		n/a	1	3	1	3	1	3	0	1
edu.udel.cis.vsl.civl.model.IF.type		100%		n/a	0	4	0	5	0	4	0	2
edu.udel.cis.vsl.civl.model.IF.statement		100%		n/a	0	4	0	14	0	4	0	2
edu.udel.cis.vsl.civl.model.IF.expression.reference		100%		n/a	0	4	0	6	0	4	0	2
edu.udel.cis.vsl.civl.library.scope		100%		50%	3	6	0	11	0	3	0	1
edu.udel.cis.vsl.civl.model.IF.location		100%		n/a	0	2	0	2	0	2	0	1