Test Coverage Report for CIVL 0.2 r123

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	4,947 of 17,551	72%	633 of 1,607	61%	732	1,493	920	3,423	215	653	11	81
edu.udel.cis.vsl.civl.model.common		75%		66%	205	458	257	1,133	45	167	0	9
edu.udel.cis.vsl.civl.state		82%		68%	120	308	126	749	19	114	1	7
edu.udel.cis.vsl.civl.semantics		80%		64%	135	240	74	494	11	54	0	3
edu.udel.cis.vsl.civl		37%		9%	25	30	89	143	3	7	0	1
edu.udel.cis.vsl.civl.model.common.statement		45%		45%	32	67	64	140	26	56	2	10
edu.udel.cis.vsl.civl.model.common.expression		52%		5%	43	86	72	157	27	70	2	17
edu.udel.cis.vsl.civl.kripke		60%		61%	37	68	42	127	15	32	0	2
edu.udel.cis.vsl.civl.log		47%		33%	18	31	42	85	9	22	1	4
edu.udel.cis.vsl.civl.library.civlc		0%		0%	19	19	28	28	7	7	1	1
edu.udel.cis.vsl.civl.model.common.type		32%		0%	13	27	19	47	9	23	1	8
edu.udel.cis.vsl.civl.model.common.location		42%		21%	12	23	22	48	5	16	0	1
edu.udel.cis.vsl.civl.model.common.variable		51%		38%	18	29	24	48	11	21	0	1
edu.udel.cis.vsl.civl.library		11%		0%	4	6	16	20	2	4	0	1
edu.udel.cis.vsl.civl.library.stdlib		0%		0%	9	9	17	17	6	6	1	1
edu.udel.cis.vsl.civl.predicate		89%		76%	17	39	10	92	2	8	0	2
edu.udel.cis.vsl.civl.util		89%		50%	13	21	3	46	6	14	1	4
edu.udel.cis.vsl.civl.transition		56%		n/a	8	18	14	32	8	18	1	5
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