Test Coverage Report for CIVL 0.14 r1680 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	43,702 of 108,085	60%	4,430 of 8,935	50%	3,988	7,685	7,617	19,590	977	2,901	77	328
edu.udel.cis.vsl.civl.transform.common		26%		16%	630	761	1,658	2,254	92	145	7	12
edu.udel.cis.vsl.civl.model.common		73%		65%	528	1,425	771	3,361	90	473	1	21
edu.udel.cis.vsl.civl.semantics.common		68%		62%	340	777	763	2,501	18	162	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		49%		40%	281	604	522	1,163	110	372	5	41
edu.udel.cis.vsl.civl.model.common.statement		52%		51%	202	414	364	862	90	226	2	21
edu.udel.cis.vsl.civl.run.IF		69%		52%	153	257	323	843	21	77	1	11
edu.udel.cis.vsl.civl.run.common		66%		43%	183	338	217	653	83	214	3	27
edu.udel.cis.vsl.civl.state.common.immutable		83%		79%	135	481	161	1,164	29	174	1	9
edu.udel.cis.vsl.civl.library.comm		74%		43%	103	163	151	582	2	27	0	3
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.model.common.type		55%		44%	113	252	142	383	60	171	0	15
edu.udel.cis.vsl.civl.kripke.common		77%		69%	137	313	160	706	29	96	0	13
edu.udel.cis.vsl.civl.library.stdio		75%		47%	67	117	125	404	3	20	0	4
edu.udel.cis.vsl.civl.library.common		72%		53%	67	111	99	360	4	28	0	6
edu.udel.cis.vsl.civl.dynamic.common		79%		67%	87	218	105	544	12	82	1	4
edu.udel.cis.vsl.civl.util.IF		12%		8%	65	74	111	131	14	22	1	5
edu.udel.cis.vsl.civl.library.civlc		73%		55%	63	120	76	302	3	24	0	3
edu.udel.cis.vsl.civl.library.seq		59%		68%	29	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%		64%	44	119	78	240	11	42	0	1
edu.udel.cis.vsl.civl.library.bundle		71%		60%	35	62	48	211	0	13	0	3
edu.udel.cis.vsl.civl.library.pointer		61%		48%	25	41	29	102	1	10	0	3
edu.udel.cis.vsl.civl.config.IF		72%		56%	31	66	74	207	24	58	0	2
edu.udel.cis.vsl.civl.log.IF		60%		32%	42	58	44	129	3	16	0	3
edu.udel.cis.vsl.civl.library.string		78%		58%	26	42	18	134	0	9	0	3
edu.udel.cis.vsl.civl.transform.IF		53%		65%	22	43	32	72	17	30	5	10
edu.udel.cis.vsl.civl.library.mpi		0%		0%	11	11	21	21	5	5	3	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.stdlib		73%		60%	8	17	12	49	0	6	0	3
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