Test Coverage Report for CIVL 1.0 r2265 Regression Suite

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	38,490 of 125,459	69%	4,420 of 10,966	60%	4,155	9,035	6,599	22,371	931	3,183	64	351
edu.udel.cis.vsl.civl.model.common		75%		69%	564	1,639	760	3,706	98	501	2	25
edu.udel.cis.vsl.civl.semantics.common		71%		64%	339	801	675	2,576	12	167	0	13
edu.udel.cis.vsl.civl.transform.common		78%		63%	551	1,193	766	3,348	17	184	1	12
edu.udel.cis.vsl.civl.gui.common		0%		0%	297	297	948	948	167	167	35	35
edu.udel.cis.vsl.civl.model.common.expression		49%		37%	355	706	587	1,286	141	419	4	41
edu.udel.cis.vsl.civl.run.common		56%		37%	221	384	250	702	104	241	6	32
edu.udel.cis.vsl.civl.model.common.statement		47%		53%	145	324	272	682	64	177	4	18
edu.udel.cis.vsl.civl.run.IF		68%		57%	141	253	277	855	20	76	1	10
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		74%		73%	126	337	187	747	32	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.library.common		71%		56%	76	133	97	414	3	31	0	6
edu.udel.cis.vsl.civl.model.common.type		60%		54%	102	268	126	408	53	176	0	15
edu.udel.cis.vsl.civl.dynamic.common		77%		62%	98	226	122	552	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.comm		85%		65%	102	204	78	650	3	36	0	3
edu.udel.cis.vsl.civl.library.stdio		79%		55%	63	121	103	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.pointer		74%		60%	53	106	46	255	0	17	0	3
edu.udel.cis.vsl.civl.library.pthread		67%		45%	44	77	76	227	5	19	0	3
edu.udel.cis.vsl.civl.library.seq		59%		73%	25	60	41	156	0	10	0	3
edu.udel.cis.vsl.civl.model.common.location		66%		65%	51	149	82	303	11	54	0	1
edu.udel.cis.vsl.civl.library.mpi		57%		45%	53	80	56	158	4	15	0	3
edu.udel.cis.vsl.civl.library.bundle		76%		65%	37	72	40	224	0	14	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		61%		33%	45	62	44	132	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	103	48	226	22	75	0	3
edu.udel.cis.vsl.civl.library.time		70%		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.IF.expression		86%		n/a	9	24	2	18	9	24	1	6
edu.udel.cis.vsl.civl.model.IF		83%		50%	18	34	18	47	14	29	0	8
edu.udel.cis.vsl.civl.model.common.variable		74%		52%	19	53	26	92	3	27	0	1
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%		82%	17	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		95%		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%		96%	2	45	1	76	1	31	0	10
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