Test Coverage Report for CIVL 0.1 r93

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	4,571 of 15,262	70%	518 of 1,326	61%	628	1,315	896	3,031	215	618	16	78
edu.udel.cis.vsl.civl.model.common		74%		65%	182	398	247	987	48	155	0	8
edu.udel.cis.vsl.civl.state		82%		68%	108	280	116	669	19	110	1	7
edu.udel.cis.vsl.civl.semantics		77%		63%	87	168	67	355	9	48	0	3
edu.udel.cis.vsl.civl.util		12%		0%	19	21	41	46	12	14	3	4
edu.udel.cis.vsl.civl.log		9%		0%	29	32	89	101	20	23	3	4
edu.udel.cis.vsl.civl		44%		8%	20	24	64	117	2	5	0	1
edu.udel.cis.vsl.civl.kripke		60%		61%	37	68	42	127	15	32	0	2
edu.udel.cis.vsl.civl.library.civlc		0%		0%	19	19	28	28	7	7	1	1
edu.udel.cis.vsl.civl.model.common.statement		70%		77%	24	67	46	140	20	56	2	10
edu.udel.cis.vsl.civl.library.stdlib		0%		0%	9	9	26	26	6	6	1	1
edu.udel.cis.vsl.civl.model.common.expression		81%		63%	25	76	42	139	18	60	2	15
edu.udel.cis.vsl.civl.library		11%		0%	4	6	16	20	2	4	0	1
edu.udel.cis.vsl.civl.model.common.variable		67%		56%	17	29	19	48	10	21	0	1
edu.udel.cis.vsl.civl.model.common.type		61%		50%	11	24	18	39	9	21	2	8
edu.udel.cis.vsl.civl.predicate		89%		76%	16	39	9	92	1	8	0	2
edu.udel.cis.vsl.civl.transition		56%		n/a	8	18	14	32	8	18	1	5
edu.udel.cis.vsl.civl.model.common.location		84%		71%	9	23	11	48	5	16	0	1
edu.udel.cis.vsl.civl.model.IF.expression		95%		n/a	2	8	0	13	2	8	0	2
edu.udel.cis.vsl.civl.model.IF.type		91%		n/a	1	4	0	2	1	4	0	1
edu.udel.cis.vsl.civl.model		57%		n/a	1	2	1	2	1	2	0	1