Test Coverage Report for CIVL 0.8 r711

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	18,494 of 55,377	67%	2,117 of 4,924	57%	2,091	4,506	3,317	10,632	584	1,866	24	176
edu.udel.cis.vsl.civl.model.common		73%		65%	508	1,272	752	3,179	108	454	3	23
edu.udel.cis.vsl.civl.model.common.statement		35%		42%	318	514	653	1,141	179	307	8	28
edu.udel.cis.vsl.civl.semantics		63%		55%	218	466	492	1,441	26	128	2	9
edu.udel.cis.vsl.civl.kripke		57%		50%	256	460	423	1,005	41	107	1	8
edu.udel.cis.vsl.civl.model.common.expression		62%		46%	200	484	326	912	82	313	3	36
edu.udel.cis.vsl.civl.run		70%		49%	88	132	134	461	14	43	0	6
edu.udel.cis.vsl.civl.library.civlc		83%		54%	130	225	74	547	4	32	0	3
edu.udel.cis.vsl.civl.util		11%		8%	58	66	100	116	11	18	1	4
edu.udel.cis.vsl.civl.state.immutable		89%		80%	100	358	79	813	23	149	1	8
edu.udel.cis.vsl.civl.model.common.location		61%		64%	41	116	72	235	11	44	0	2
edu.udel.cis.vsl.civl.model.common.type		70%		60%	49	144	52	203	27	101	0	10
edu.udel.cis.vsl.civl.library.mpi		0%		0%	20	20	53	53	10	10	2	2
edu.udel.cis.vsl.civl.err		80%		50%	25	43	17	83	13	31	2	9
edu.udel.cis.vsl.civl.log		35%		16%	23	27	26	42	2	5	0	1
edu.udel.cis.vsl.civl.library		82%		56%	7	21	12	97	0	12	0	4
edu.udel.cis.vsl.civl		0%		n/a	6	6	11	11	6	6	1	1
edu.udel.cis.vsl.civl.transition		68%		0%	7	23	14	45	6	22	0	5
edu.udel.cis.vsl.civl.model.IF.expression		96%		n/a	5	20	0	23	5	20	0	5
edu.udel.cis.vsl.civl.predicate		93%		84%	8	35	9	90	1	13	0	2
edu.udel.cis.vsl.civl.model.common.variable		86%		79%	5	25	6	45	2	18	0	1
edu.udel.cis.vsl.civl.library.stdlib		83%		62%	7	12	5	24	4	8	0	2
edu.udel.cis.vsl.civl.library.stdio		95%		88%	7	21	5	56	4	9	0	2
edu.udel.cis.vsl.civl.model.IF.statement		96%		n/a	2	8	0	4	2	8	0	2
edu.udel.cis.vsl.civl.model.IF.type		95%		n/a	1	4	0	2	1	4	0	1
edu.udel.cis.vsl.civl.state		67%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.civl.model		67%		n/a	1	2	1	2	1	2	0	1