Test Coverage Report for CIVL 1.2 r2429 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	39,864 of 131,294	70%	4,657 of 11,670	60%	4,336	9,558	6,914	23,627	969	3,340	79	377
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%		60%	681	1,405	1,021	3,814	27	219	1	14
edu.udel.cis.vsl.civl.model.common		75%		69%	589	1,709	791	3,842	100	520	2	26
edu.udel.cis.vsl.civl.semantics.common		78%		69%	320	860	518	2,752	9	172	0	13
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.common		56%		37%	225	388	256	709	108	245	6	32
edu.udel.cis.vsl.civl.run.IF		64%		57%	149	262	298	871	25	80	2	11
edu.udel.cis.vsl.civl.state.common.immutable		80%		74%	181	578	254	1,369	47	225	1	14
edu.udel.cis.vsl.civl.kripke.common		76%		74%	122	338	180	754	32	100	0	12
edu.udel.cis.vsl.civl.model.common.statement		63%		66%	86	269	150	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		60%		53%	114	285	132	421	59	189	0	15
edu.udel.cis.vsl.civl.dynamic.common		77%		62%	97	224	120	550	9	80	1	4
edu.udel.cis.vsl.civl.library.domain		46%		36%	38	52	97	192	4	14	0	3
edu.udel.cis.vsl.civl.library.pointer		69%		60%	53	106	78	287	0	17	0	3
edu.udel.cis.vsl.civl.library.common		79%		60%	71	136	69	421	3	33	0	6
edu.udel.cis.vsl.civl.library.stdio		80%		55%	62	120	97	399	3	20	0	4
edu.udel.cis.vsl.civl.util.IF		17%		8%	64	74	104	131	13	22	1	5
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		60%		73%	25	60	41	156	0	10	0	3
edu.udel.cis.vsl.civl.library.comm		89%		66%	99	204	55	650	2	36	0	3
edu.udel.cis.vsl.civl.library.bundle		74%		64%	36	68	39	205	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	188	0	11	0	4
edu.udel.cis.vsl.civl.library.civlc		89%		71%	52	141	28	325	0	27	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.log.IF		66%		38%	42	63	38	135	3	17	0	3
edu.udel.cis.vsl.civl.config.IF		89%		40%	47	109	48	242	22	81	0	3
edu.udel.cis.vsl.civl.library.mpi		84%		60%	41	80	15	158	0	15	0	3
edu.udel.cis.vsl.civl.library.time		69%		42%	13	19	15	55	1	6	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.predicate.IF		91%		81%	18	64	21	176	1	16	0	2
edu.udel.cis.vsl.civl.analysis.common		93%		76%	18	67	15	144	2	24	0	5
edu.udel.cis.vsl.civl.semantics.IF		80%		n/a	7	23	7	29	7	23	1	6
edu.udel.cis.vsl.civl		0%		0%	4	4	6	6	2	2	1	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