Test Coverage Report for CIVL 0.6 r567

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	16,040 of 47,747	66%	1,849 of 4,206	56%	1,831	3,846	2,801	9,108	504	1,599	20	152
edu.udel.cis.vsl.civl.model.common		74%		67%	437	1,144	671	2,926	104	427	3	23
edu.udel.cis.vsl.civl.semantics		58%		49%	226	433	503	1,285	31	119	1	7
edu.udel.cis.vsl.civl.model.common.statement		37%		36%	256	401	476	869	134	237	6	25
edu.udel.cis.vsl.civl.model.common.expression		53%		27%	156	332	288	649	63	220	3	32
edu.udel.cis.vsl.civl.kripke		64%		61%	156	312	210	702	26	80	0	3
edu.udel.cis.vsl.civl.run		71%		49%	86	130	133	451	14	43	0	6
edu.udel.cis.vsl.civl.library.civlc		79%		42%	144	198	52	408	5	25	0	2
edu.udel.cis.vsl.civl.util		11%		8%	58	66	100	116	11	18	1	4
edu.udel.cis.vsl.civl.state.immutable		88%		80%	97	348	77	794	23	147	1	8
edu.udel.cis.vsl.civl.model.common.location		58%		57%	34	93	63	177	8	41	0	2
edu.udel.cis.vsl.civl.model.common.type		65%		51%	52	137	53	192	26	95	0	10
edu.udel.cis.vsl.civl.library.mpi		0%		0%	20	20	60	60	10	10	1	1
edu.udel.cis.vsl.civl.err		81%		50%	25	43	16	83	13	31	2	9
edu.udel.cis.vsl.civl.log		34%		14%	24	27	27	42	2	5	0	1
edu.udel.cis.vsl.civl		0%		n/a	6	6	11	11	6	6	1	1
edu.udel.cis.vsl.civl.transition		70%		38%	9	26	16	54	6	22	0	5
edu.udel.cis.vsl.civl.model.common.variable		66%		50%	8	25	12	45	3	18	0	1
edu.udel.cis.vsl.civl.library.stdio		85%		61%	14	28	9	66	4	9	0	1
edu.udel.cis.vsl.civl.library.stdlib		0%		n/a	7	7	11	11	7	7	1	1
edu.udel.cis.vsl.civl.predicate		95%		87%	9	43	9	117	1	13	0	2
edu.udel.cis.vsl.civl.model.IF.expression		96%		n/a	4	16	0	30	4	16	0	4
edu.udel.cis.vsl.civl.library		81%		100%	0	3	2	14	0	2	0	1
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