Test Coverage Report for CIVL 1.1 r2359 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	41,991 of 131,038	68%	4,773 of 11,563	59%	4,472	9,514	7,295	23,489	1,038	3,354	85	380
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%		59%	657	1,329	1,006	3,681	27	202	1	13
edu.udel.cis.vsl.civl.model.common		75%		69%	595	1,710	805	3,842	106	521	2	26
edu.udel.cis.vsl.civl.semantics.common		72%		64%	349	820	666	2,600	12	168	0	13
edu.udel.cis.vsl.civl.model.common.expression		47%		37%	359	712	608	1,298	143	423	5	41
edu.udel.cis.vsl.civl.model.common.statement		44%		49%	161	331	293	692	73	183	4	18
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%	178	569	255	1,358	47	222	1	14
edu.udel.cis.vsl.civl.kripke.common		75%		74%	128	344	187	756	34	100	0	12
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%	115	285	133	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%		59%	71	135	69	417	3	33	0	6
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%		70%	44	152	84	311	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		74%		51%	34	65	49	186	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%	50	136	28	320	0	26	0	3
edu.udel.cis.vsl.civl.log.IF		62%		36%	44	63	43	135	3	17	0	3
edu.udel.cis.vsl.civl.library.concurrency		90%		73%	32	86	16	295	0	17	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.config.IF		88%		38%	48	107	48	238	22	79	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.model.common.variable		60%		42%	22	53	34	92	4	27	0	1
edu.udel.cis.vsl.civl.model.IF.expression		86%		n/a	9	24	2	18	9	24	1	6
edu.udel.cis.vsl.civl.analysis.common		84%		56%	30	69	33	146	2	24	0	5
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.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	12	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%		93%	3	50	1	84	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