Test Coverage Report for CIVL 1.7.2 r3714 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	72,864 of 174,335	58%	7,861 of 15,989	51%	6,832	12,819	14,689	36,393	1,646	4,347	130	460
edu.udel.cis.vsl.civl.transform.common		56%		51%	1,310	2,299	3,383	8,010	145	392	7	25
edu.udel.cis.vsl.civl.model.common		70%		63%	843	2,085	1,560	5,575	134	608	2	28
edu.udel.cis.vsl.civl.semantics.common		70%		60%	572	1,250	1,305	4,478	29	238	0	20
edu.udel.cis.vsl.civl.gui.common		0%		0%	426	426	1,511	1,511	232	232	54	54
edu.udel.cis.vsl.civl.slice.common		0%		0%	294	294	732	732	68	68	7	7
edu.udel.cis.vsl.civl.state.common.immutable		62%		57%	443	928	829	2,331	135	337	6	19
edu.udel.cis.vsl.civl.model.common.expression		47%		35%	484	924	870	1,771	195	527	8	51
edu.udel.cis.vsl.civl.kripke.common		59%		64%	243	522	573	1,456	60	142	3	17
edu.udel.cis.vsl.civl.run.common		54%		42%	232	412	267	785	111	252	6	34
edu.udel.cis.vsl.civl.run.IF		61%		54%	148	257	382	996	32	88	4	15
edu.udel.cis.vsl.civl.model.common.statement		54%		56%	150	360	289	782	63	199	4	18
edu.udel.cis.vsl.civl.model.common.contract		15%		10%	177	208	301	368	78	108	6	11
edu.udel.cis.vsl.civl.library.pthread		29%		20%	66	78	163	240	12	19	0	2
edu.udel.cis.vsl.civl.library.common		72%		56%	103	184	174	679	9	44	0	6
edu.udel.cis.vsl.civl.library.comm		71%		58%	92	165	155	605	7	33	0	3
edu.udel.cis.vsl.civl.library.mpi		35%		37%	48	70	174	267	12	22	1	3
edu.udel.cis.vsl.civl.library.civlc		65%		55%	104	194	154	456	9	35	0	4
edu.udel.cis.vsl.civl.gui.IF		0%		0%	52	52	189	189	14	14	3	3
edu.udel.cis.vsl.civl.library.domain		35%		23%	63	74	149	242	11	19	0	2
edu.udel.cis.vsl.civl.dynamic.common		74%		59%	111	239	176	684	15	89	1	4
edu.udel.cis.vsl.civl.util.IF		9%		7%	78	89	141	165	24	32	3	8
edu.udel.cis.vsl.civl.model.common.type		62%		55%	112	289	133	455	56	188	0	15
edu.udel.cis.vsl.civl.library.pointer		67%		60%	52	105	116	357	0	16	0	1
edu.udel.cis.vsl.civl.library.concurrency		0%		0%	31	31	115	115	8	8	1	1
edu.udel.cis.vsl.civl.library.stdio		76%		51%	61	113	124	474	4	18	0	3
edu.udel.cis.vsl.civl.predicate.common		53%		52%	64	111	150	306	19	35	2	6
edu.udel.cis.vsl.civl.config.IF		79%		33%	84	165	77	506	40	117	0	4
edu.udel.cis.vsl.civl.model.common.location		71%		76%	41	180	73	371	9	69	0	1
edu.udel.cis.vsl.civl.library.seq		60%		74%	23	54	51	168	0	7	0	1
edu.udel.cis.vsl.civl.log.IF		59%		32%	53	77	60	172	2	20	0	3
edu.udel.cis.vsl.civl.library.string		70%		52%	37	55	49	177	0	8	0	2
edu.udel.cis.vsl.civl.model.common.expression.reference		7%		0%	31	35	61	68	19	23	2	4
edu.udel.cis.vsl.civl.library.bundle		74%		56%	28	43	26	128	0	8	0	1
edu.udel.cis.vsl.civl.library.collate		67%		44%	17	25	25	82	2	7	1	2
edu.udel.cis.vsl.civl.library.time		65%		39%	11	14	16	57	1	4	0	1
edu.udel.cis.vsl.civl.transform.IF		84%		59%	25	99	22	152	13	82	4	30
edu.udel.cis.vsl.civl.model.IF.expression		88%		n/a	10	28	2	29	10	28	1	7
edu.udel.cis.vsl.civl.model.IF.contract		52%		n/a	10	16	4	8	10	16	2	4
edu.udel.cis.vsl.civl.state.IF		59%		50%	14	33	20	57	11	30	0	5
edu.udel.cis.vsl.civl.analysis.common		85%		59%	27	67	31	147	2	24	0	5
edu.udel.cis.vsl.civl.model.common.variable		66%		58%	12	43	19	79	5	30	0	1
edu.udel.cis.vsl.civl.model.IF		85%		62%	17	34	17	51	14	30	1	8
edu.udel.cis.vsl.civl.semantics.IF		79%		n/a	9	31	7	39	9	31	0	8
edu.udel.cis.vsl.civl		0%		0%	6	6	8	8	2	2	1	1
edu.udel.cis.vsl.civl.predicate.IF		58%		n/a	3	6	3	6	3	6	0	1
edu.udel.cis.vsl.civl.model.IF.statement		93%		n/a	3	8	0	13	3	8	0	2
edu.udel.cis.vsl.civl.model.IF.type		96%		n/a	2	8	0	5	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.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		100%		50%	3	6	0	13	0	3	0	1