Test Coverage Report for CIVL 1.19 r5139 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	66,662 of 193,964	65%	7,566 of 17,673	57%	6,692	14,016	13,579	41,050	1,435	4,761	127	546
edu.udel.cis.vsl.civl.transform.common		72%		61%	1,104	2,360	2,183	8,215	62	432	4	35
edu.udel.cis.vsl.civl.semantics.common		69%		59%	706	1,519	1,559	5,158	53	320	3	32
edu.udel.cis.vsl.civl.model.common		72%		66%	792	2,101	1,510	5,749	134	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.kripke.common		61%		64%	260	571	628	1,634	51	130	4	18
edu.udel.cis.vsl.civl.library.civlc		48%		43%	207	344	523	1,068	34	85	5	16
edu.udel.cis.vsl.civl.slice.common		53%		45%	324	515	408	1,138	27	115	2	16
edu.udel.cis.vsl.civl.model.common.expression		61%		46%	395	891	612	1,674	150	525	3	50
edu.udel.cis.vsl.civl.run.common		56%		52%	195	380	272	801	110	252	6	34
edu.udel.cis.vsl.civl.run.IF		62%		58%	140	258	423	1,094	30	86	4	15
edu.udel.cis.vsl.civl.transform.common.contracts		72%		55%	196	400	397	1,446	28	130	2	13
edu.udel.cis.vsl.civl.model.common.statement		53%		52%	200	441	339	888	62	217	3	18
edu.udel.cis.vsl.civl.library.mem		56%		35%	117	204	273	638	21	70	3	14
edu.udel.cis.vsl.civl.state.common.immutable		84%		78%	222	783	284	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	190	619	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.dynamic.common		73%		57%	135	280	199	746	20	100	1	6
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	616	6	33	0	3
edu.udel.cis.vsl.civl.model.common.type		65%		60%	103	315	120	495	55	220	0	19
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	168	99	594	41	127	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.domain		76%		64%	32	58	51	243	7	19	0	2
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%	48	79	68	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	64	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	6	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