Test Coverage Report for CIVL 1.3 r2459 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	41,384 of 133,091	69%	4,792 of 11,831	59%	4,444	9,681	7,194	23,971	1,001	3,384	82	383
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%	698	1,425	1,048	3,866	27	220	1	14
edu.udel.cis.vsl.civl.model.common		75%		69%	595	1,716	798	3,850	101	522	2	26
edu.udel.cis.vsl.civl.semantics.common		78%		69%	320	860	518	2,753	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.IF		60%		54%	165	282	364	953	30	88	2	11
edu.udel.cis.vsl.civl.run.common		53%		36%	229	393	265	726	109	247	6	33
edu.udel.cis.vsl.civl.state.common.immutable		79%		74%	186	583	263	1,378	49	227	1	14
edu.udel.cis.vsl.civl.kripke.common		73%		72%	134	350	217	794	36	104	1	13
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%	113	285	131	421	58	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.pointer		68%		60%	53	106	78	287	0	17	0	3
edu.udel.cis.vsl.civl.library.domain		46%		36%	38	52	97	192	4	14	0	3
edu.udel.cis.vsl.civl.library.common		79%		60%	71	136	69	421	3	33	0	6
edu.udel.cis.vsl.civl.predicate.common		55%		53%	62	108	137	292	17	32	2	5
edu.udel.cis.vsl.civl.util.IF		12%		8%	65	74	111	131	14	22	1	5
edu.udel.cis.vsl.civl.library.stdio		80%		55%	62	120	97	399	3	20	0	4
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		59%		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		67%		38%	43	66	38	142	3	19	0	3
edu.udel.cis.vsl.civl.config.IF		89%		40%	47	111	48	249	22	83	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.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.predicate.IF		53%		n/a	3	5	3	5	3	5	0	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