Test Coverage Report for CIVL 1.15 r4737 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	71,494 of 190,362	62%	8,051 of 17,726	55%	7,097	14,085	14,539	40,005	1,589	4,726	140	533
edu.udel.cis.vsl.civl.transform.common		68%		59%	1,121	2,306	2,496	8,013	72	401	4	28
edu.udel.cis.vsl.civl.semantics.common		67%		58%	714	1,493	1,681	5,068	47	314	0	32
edu.udel.cis.vsl.civl.model.common		70%		64%	855	2,154	1,555	5,646	147	615	6	30
edu.udel.cis.vsl.civl.gui.common		0%		0%	426	426	1,511	1,511	232	232	54	54
edu.udel.cis.vsl.civl.model.common.expression		53%		42%	454	932	766	1,770	181	539	7	51
edu.udel.cis.vsl.civl.kripke.common		61%		64%	266	574	625	1,623	53	132	4	18
edu.udel.cis.vsl.civl.slice.common		0%		0%	218	218	526	526	60	60	9	9
edu.udel.cis.vsl.civl.library.civlc		49%		41%	244	386	514	1,016	34	85	5	17
edu.udel.cis.vsl.civl.transform.common.contracts		63%		49%	221	400	529	1,446	41	130	5	13
edu.udel.cis.vsl.civl.run.common		54%		43%	237	422	276	810	111	254	6	34
edu.udel.cis.vsl.civl.run.IF		60%		53%	160	276	425	1,056	33	89	4	15
edu.udel.cis.vsl.civl.model.common.statement		50%		50%	213	440	364	886	68	216	3	18
edu.udel.cis.vsl.civl.state.common.immutable		85%		78%	223	780	290	2,064	46	264	1	15
edu.udel.cis.vsl.civl.model.common.contract		16%		12%	176	208	298	368	77	108	6	11
edu.udel.cis.vsl.civl.library.common		65%		58%	82	158	194	593	9	43	0	7
edu.udel.cis.vsl.civl.library.mem		65%		48%	122	228	226	640	16	69	2	14
edu.udel.cis.vsl.civl.library.pthread		29%		24%	62	76	158	231	11	18	0	2
edu.udel.cis.vsl.civl.util.IF		7%		5%	98	108	185	208	31	39	5	10
edu.udel.cis.vsl.civl.library.comm		76%		61%	86	165	132	615	6	33	0	3
edu.udel.cis.vsl.civl.gui.IF		0%		0%	52	52	193	193	14	14	3	3
edu.udel.cis.vsl.civl.library.domain		36%		23%	63	74	148	242	11	19	0	2
edu.udel.cis.vsl.civl.dynamic.common		78%		62%	129	285	168	759	18	102	1	6
edu.udel.cis.vsl.civl.model.common.type		64%		57%	111	310	130	483	59	215	0	18
edu.udel.cis.vsl.civl.library.pointer		70%		61%	51	106	107	368	0	16	0	1
edu.udel.cis.vsl.civl.config.IF		78%		33%	95	184	97	573	45	128	0	4
edu.udel.cis.vsl.civl.analysis.common		11%		12%	60	67	131	153	19	24	3	5
edu.udel.cis.vsl.civl.library.stdio		78%		54%	63	117	118	482	4	19	0	3
edu.udel.cis.vsl.civl.predicate.common		54%		51%	65	111	151	305	19	35	2	6
edu.udel.cis.vsl.civl.model.common.location		72%		75%	42	185	73	380	9	73	0	1
edu.udel.cis.vsl.civl.library.bundle		78%		71%	43	96	54	333	1	20	0	1
edu.udel.cis.vsl.civl.library.seq		61%		74%	23	54	47	160	0	7	0	1
edu.udel.cis.vsl.civl.library.mpi		79%		54%	32	69	52	247	4	22	0	3
edu.udel.cis.vsl.civl.library.string		77%		56%	38	60	46	215	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		7%		0%	31	35	61	68	19	23	2	4
edu.udel.cis.vsl.civl.library.time		64%		39%	11	14	15	58	1	4	0	1
edu.udel.cis.vsl.civl.model.IF.expression		88%		n/a	10	28	2	28	10	28	1	7
edu.udel.cis.vsl.civl.model.IF		81%		38%	20	34	23	51	16	30	1	8
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		58%		50%	14	33	20	57	11	30	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.transform.IF		92%		62%	20	109	12	170	8	92	2	34
edu.udel.cis.vsl.civl.semantics.IF		82%		75%	9	36	6	43	8	34	0	11
edu.udel.cis.vsl.civl.library.math		71%		47%	14	22	9	32	0	4	0	1
edu.udel.cis.vsl.civl.library.collate		89%		62%	15	27	9	88	3	9	1	2
edu.udel.cis.vsl.civl.dynamic.immutable		81%		57%	13	26	10	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.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	14	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		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.library.scope		100%		50%	3	6	0	11	0	3	0	1