Test Coverage Report for CIVL 1.20 r5259 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	85,337 of 204,247	58%	9,407 of 18,806	49%	7,868	14,881	17,532	42,820	1,702	5,018	149	576
edu.udel.cis.vsl.civl.transform.common		34%		31%	1,801	2,544	5,418	8,524	187	434	12	35
edu.udel.cis.vsl.civl.semantics.common		66%		56%	897	1,780	1,971	5,907	77	389	3	38
edu.udel.cis.vsl.civl.model.common		72%		65%	818	2,145	1,498	5,823	134	633	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.transform.analysisIF		0%		0%	196	196	513	513	50	50	10	10
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%		45%	410	894	615	1,674	152	519	4	49
edu.udel.cis.vsl.civl.kripke.common		65%		64%	252	558	533	1,541	46	127	4	18
edu.udel.cis.vsl.civl.run.IF		56%		56%	150	260	496	1,100	35	86	4	15
edu.udel.cis.vsl.civl.run.common		55%		50%	200	379	271	795	110	252	6	34
edu.udel.cis.vsl.civl.transform.common.contracts		77%		66%	195	504	364	1,663	40	168	5	24
edu.udel.cis.vsl.civl.model.common.statement		52%		51%	204	441	349	888	63	217	3	18
edu.udel.cis.vsl.civl.library.common		57%		48%	99	166	250	622	8	41	0	7
edu.udel.cis.vsl.civl.state.common.immutable		86%		78%	225	824	285	2,235	45	280	1	17
edu.udel.cis.vsl.civl.model.common.contract		16%		11%	177	208	298	368	77	108	6	11
edu.udel.cis.vsl.civl.library.civlc		76%		64%	127	287	192	886	9	66	0	12
edu.udel.cis.vsl.civl.library.pointer		51%		36%	54	78	168	368	4	16	0	1
edu.udel.cis.vsl.civl.model.common.type		66%		53%	166	423	171	647	79	287	0	25
edu.udel.cis.vsl.civl.library.pthread		29%		33%	39	52	158	231	11	18	0	2
edu.udel.cis.vsl.civl.util.IF		7%		4%	89	99	166	189	26	34	4	9
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.dynamic.common		76%		60%	135	284	175	755	18	101	1	6
edu.udel.cis.vsl.civl.library.domain		36%		28%	47	58	149	243	11	19	0	2
edu.udel.cis.vsl.civl.library.stdio		70%		49%	52	93	154	482	5	19	0	3
edu.udel.cis.vsl.civl.transform.analysis.common		0%		0%	93	93	129	129	65	65	9	9
edu.udel.cis.vsl.civl.analysis.common		11%		11%	58	65	131	153	17	22	3	5
edu.udel.cis.vsl.civl.config.IF		79%		45%	79	172	109	609	45	129	0	4
edu.udel.cis.vsl.civl.predicate.common		53%		52%	63	111	149	305	19	35	2	6
edu.udel.cis.vsl.civl.library.mem		69%		58%	36	95	93	328	5	35	1	4
edu.udel.cis.vsl.civl.model.common.location		71%		75%	41	187	73	384	9	75	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		76%		55%	24	56	57	252	4	22	0	3
edu.udel.cis.vsl.civl.library.string		75%		53%	34	52	47	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.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.model.IF		87%		37%	14	37	19	63	10	33	1	9
edu.udel.cis.vsl.civl.library.bundle		96%		83%	23	90	6	329	0	20	0	1
edu.udel.cis.vsl.civl.library.collate		86%		60%	11	23	9	92	3	12	0	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		0%		0%	6	6	8	8	2	2	1	1
edu.udel.cis.vsl.civl.transform		71%		50%	7	10	3	20	1	4	0	1
edu.udel.cis.vsl.civl.transform.IF		98%		65%	14	104	3	162	3	88	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.dynamic.immutable		94%		93%	2	18	2	50	1	10	0	2
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		82%		n/a	1	3	1	3	1	3	0	1
edu.udel.cis.vsl.civl.model.IF.type		100%		n/a	0	4	0	7	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