Test Coverage Report for CIVL 0.3 r234

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	6,112 of 25,790	76%	766 of 2,066	63%	848	2,049	1,081	4,928	234	937	9	103
edu.udel.cis.vsl.civl.model.common		81%		72%	240	675	285	1,734	50	261	0	14
edu.udel.cis.vsl.civl.semantics		66%		56%	122	268	253	797	24	93	2	7
edu.udel.cis.vsl.civl.library.civlc		76%		34%	147	187	53	372	7	23	0	2
edu.udel.cis.vsl.civl		36%		20%	29	38	124	194	4	8	0	1
edu.udel.cis.vsl.civl.state		88%		76%	84	272	62	660	12	109	0	5
edu.udel.cis.vsl.civl.kripke		68%		67%	35	72	43	154	15	33	0	2
edu.udel.cis.vsl.civl.model.common.type		73%		62%	39	125	44	185	22	91	0	10
edu.udel.cis.vsl.civl.model.common.expression		74%		53%	34	120	57	203	25	104	2	22
edu.udel.cis.vsl.civl.log		46%		31%	16	28	39	78	8	20	1	3
edu.udel.cis.vsl.civl.model.common.statement		79%		79%	30	90	48	178	26	76	1	11
edu.udel.cis.vsl.civl.err		85%		50%	23	39	11	76	11	27	1	8
edu.udel.cis.vsl.civl.model.common.location		78%		67%	10	26	10	55	4	17	0	1
edu.udel.cis.vsl.civl.transition		56%		n/a	8	18	14	32	8	18	1	5
edu.udel.cis.vsl.civl.predicate		92%		85%	10	35	13	95	2	9	0	2
edu.udel.cis.vsl.civl.library.stdlib		0%		n/a	7	7	12	12	7	7	1	1
edu.udel.cis.vsl.civl.model.common.variable		81%		60%	6	19	7	36	2	14	0	1
edu.udel.cis.vsl.civl.library		76%		100%	0	3	2	14	0	2	0	1
edu.udel.cis.vsl.civl.util		65%		75%	3	9	3	12	2	7	0	2
edu.udel.cis.vsl.civl.model.IF.expression		96%		n/a	3	12	0	37	3	12	0	3
edu.udel.cis.vsl.civl.model.IF.type		95%		n/a	1	4	0	2	1	4	0	1
edu.udel.cis.vsl.civl.model		62%		n/a	1	2	1	2	1	2	0	1