Test Coverage Report for CIVL 1.5 r2745 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	43,002 of 145,138	70%	5,275 of 13,220	60%	4,858	10,725	7,515	26,271	1,057	3,702	86	410
edu.udel.cis.vsl.civl.transform.common		73%		59%	827	1,664	1,246	4,427	35	266	2	19
edu.udel.cis.vsl.civl.gui.common		0%		0%	427	427	1,348	1,348	232	232	54	54
edu.udel.cis.vsl.civl.model.common		77%		70%	606	1,807	760	4,075	89	543	2	28
edu.udel.cis.vsl.civl.semantics.common		80%		71%	344	967	490	2,995	12	193	0	15
edu.udel.cis.vsl.civl.model.common.expression		57%		43%	354	784	555	1,413	137	456	2	42
edu.udel.cis.vsl.civl.state.common.immutable		73%		65%	314	780	459	1,819	92	307	3	18
edu.udel.cis.vsl.civl.run.IF		60%		57%	171	306	385	1,027	34	95	5	14
edu.udel.cis.vsl.civl.run.common		53%		37%	225	393	258	726	107	247	5	33
edu.udel.cis.vsl.civl.library.domain		38%		23%	73	87	130	226	11	21	0	3
edu.udel.cis.vsl.civl.kripke.common		80%		78%	129	376	175	860	35	108	1	13
edu.udel.cis.vsl.civl.gui.IF		0%		0%	52	52	179	179	14	14	3	3
edu.udel.cis.vsl.civl.model.common.statement		68%		68%	80	291	135	606	25	162	1	15
edu.udel.cis.vsl.civl.dynamic.common		76%		62%	103	235	131	584	14	89	1	4
edu.udel.cis.vsl.civl.model.common.type		63%		56%	105	286	120	422	52	190	0	15
edu.udel.cis.vsl.civl.library.pointer		69%		61%	53	107	74	288	0	17	0	3
edu.udel.cis.vsl.civl.predicate.common		55%		52%	64	111	141	297	18	35	2	6
edu.udel.cis.vsl.civl.library.common		80%		59%	74	141	64	427	3	35	0	6
edu.udel.cis.vsl.civl.util.IF		15%		11%	66	78	112	138	15	24	1	6
edu.udel.cis.vsl.civl.library.stdio		80%		55%	62	120	97	399	3	20	0	4
edu.udel.cis.vsl.civl.library.pthread		68%		46%	54	91	82	251	6	21	0	3
edu.udel.cis.vsl.civl.library.comm		88%		66%	100	206	56	655	2	38	0	3
edu.udel.cis.vsl.civl.library.seq		62%		73%	25	60	29	144	0	10	0	3
edu.udel.cis.vsl.civl.model.common.location		74%		75%	40	166	65	347	7	58	0	1
edu.udel.cis.vsl.civl.library.civlc		88%		68%	91	220	49	461	2	40	0	4
edu.udel.cis.vsl.civl.library.bundle		75%		64%	36	68	37	205	0	12	0	3
edu.udel.cis.vsl.civl.library.mpi		86%		64%	64	135	36	344	0	28	0	3
edu.udel.cis.vsl.civl.library.string		78%		56%	41	65	30	184	0	11	0	4
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		68%		35%	40	60	37	133	2	17	0	3
edu.udel.cis.vsl.civl.config.IF		90%		45%	52	127	48	289	22	92	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		46%		50%	17	33	30	57	14	30	0	5
edu.udel.cis.vsl.civl.model.IF.expression		86%		n/a	11	28	2	15	11	28	1	7
edu.udel.cis.vsl.civl.library.concurrency		94%		76%	22	73	10	251	0	17	0	3
edu.udel.cis.vsl.civl.model.IF		84%		50%	17	34	16	52	13	29	0	8
edu.udel.cis.vsl.civl.library.stdlib		79%		64%	8	18	10	46	0	6	0	3
edu.udel.cis.vsl.civl.analysis.common		93%		76%	18	67	15	145	2	24	0	5
edu.udel.cis.vsl.civl.semantics.IF		84%		n/a	7	29	4	33	7	29	0	7
edu.udel.cis.vsl.civl.model.common.variable		83%		77%	10	42	9	69	3	27	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		92%		n/a	3	8	0	11	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%		94%	3	60	1	101	1	43	0	13
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
edu.udel.cis.vsl.civl.library.foo		100%		n/a	0	2	0	4	0	2	0	2