Test Coverage Report for CIVL 0.16 r1811 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	40,882 of 109,931	63%	4,187 of 9,223	55%	3,846	7,879	7,048	19,935	925	2,942	70	332
edu.udel.cis.vsl.civl.transform.common		36%		29%	586	834	1,522	2,438	70	154	5	12
edu.udel.cis.vsl.civl.model.common		73%		66%	513	1,428	754	3,364	88	473	1	21
edu.udel.cis.vsl.civl.semantics.common		72%		67%	312	795	657	2,568	17	164	0	11
edu.udel.cis.vsl.civl.gui.common		0%		0%	281	281	899	899	166	166	35	35
edu.udel.cis.vsl.civl.model.common.expression		55%		46%	259	606	469	1,163	100	372	4	41
edu.udel.cis.vsl.civl.model.common.statement		57%		54%	190	414	330	862	85	226	2	21
edu.udel.cis.vsl.civl.run.IF		71%		58%	148	268	311	876	18	77	1	11
edu.udel.cis.vsl.civl.run.common		67%		44%	202	370	234	702	96	236	4	31
edu.udel.cis.vsl.civl.state.common.immutable		84%		80%	132	481	159	1,164	28	174	1	9
edu.udel.cis.vsl.civl.gui.IF		0%		0%	52	52	179	179	14	14	3	3
edu.udel.cis.vsl.civl.library.omp		0%		0%	72	72	113	113	20	20	3	3
edu.udel.cis.vsl.civl.library.domain		40%		30%	46	61	129	224	5	16	0	3
edu.udel.cis.vsl.civl.kripke.common		77%		70%	133	313	159	708	29	96	0	13
edu.udel.cis.vsl.civl.model.common.type		57%		47%	108	252	134	383	57	171	0	15
edu.udel.cis.vsl.civl.library.common		68%		58%	61	111	96	372	3	28	0	6
edu.udel.cis.vsl.civl.dynamic.common		79%		67%	91	228	108	558	12	84	1	4
edu.udel.cis.vsl.civl.library.stdio		78%		52%	64	117	106	404	3	20	0	4
edu.udel.cis.vsl.civl.util.IF		12%		8%	65	74	111	131	14	22	1	5
edu.udel.cis.vsl.civl.library.seq		59%		73%	25	59	41	157	0	10	0	3
edu.udel.cis.vsl.civl.library.pthread		0%		0%	22	22	79	79	8	8	3	3
edu.udel.cis.vsl.civl.model.common.location		58%		62%	46	119	80	240	11	42	0	1
edu.udel.cis.vsl.civl.library.comm		87%		62%	97	177	49	514	2	28	0	3
edu.udel.cis.vsl.civl.library.bundle		75%		62%	34	62	31	195	0	13	0	3
edu.udel.cis.vsl.civl.library.civlc		86%		64%	53	119	34	297	0	23	0	3
edu.udel.cis.vsl.civl.config.IF		74%		56%	29	68	74	215	22	60	0	2
edu.udel.cis.vsl.civl.log.IF		60%		31%	43	58	45	128	3	16	0	3
edu.udel.cis.vsl.civl.library.pointer		73%		57%	21	41	17	102	0	10	0	3
edu.udel.cis.vsl.civl.library.string		78%		58%	26	42	18	134	0	9	0	3
edu.udel.cis.vsl.civl.model.IF.expression		86%		n/a	9	24	2	69	9	24	1	6
edu.udel.cis.vsl.civl.model.IF		84%		62%	15	30	14	68	12	26	0	7
edu.udel.cis.vsl.civl.library.mpi		82%		55%	25	41	5	84	0	9	0	3
edu.udel.cis.vsl.civl.library.stdlib		73%		60%	8	17	12	49	0	6	0	3
edu.udel.cis.vsl.civl.transform.IF		72%		81%	14	43	20	72	11	30	3	10
edu.udel.cis.vsl.civl.library.concurrency		92%		74%	12	38	8	131	0	10	0	3
edu.udel.cis.vsl.civl.model.common.variable		77%		65%	16	45	19	82	4	25	0	1
edu.udel.cis.vsl.civl.state.IF		54%		50%	5	14	7	23	2	11	0	3
edu.udel.cis.vsl.civl.semantics.IF		81%		n/a	5	18	6	24	5	18	1	5
edu.udel.cis.vsl.civl.predicate.IF		94%		87%	7	36	9	91	1	13	0	2
edu.udel.cis.vsl.civl		0%		0%	4	4	6	6	2	2	1	1
edu.udel.cis.vsl.civl.model.IF.statement		94%		n/a	3	8	0	4	3	8	0	2
edu.udel.cis.vsl.civl.model.IF.type		95%		n/a	2	8	0	4	2	8	0	2
edu.udel.cis.vsl.civl.model.IF.location		93%		n/a	1	4	0	2	1	4	0	1
edu.udel.cis.vsl.civl.kripke.IF		89%		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%		60%	4	11	0	31	0	6	0	3
edu.udel.cis.vsl.civl.library.asserts		100%		62%	3	8	0	20	0	4	0	3