Test Coverage Report for CIVL 0.9 r771

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	18,785 of 58,088	68%	2,188 of 5,221	58%	2,159	4,752	3,332	11,142	590	1,951	22	181
edu.udel.cis.vsl.civl.model.common		75%		67%	511	1,370	736	3,450	103	481	3	24
edu.udel.cis.vsl.civl.model.common.statement		36%		43%	310	518	637	1,142	171	307	7	28
edu.udel.cis.vsl.civl.semantics		65%		56%	221	489	492	1,512	24	132	2	9
edu.udel.cis.vsl.civl.kripke		58%		51%	257	461	417	1,006	41	107	1	8
edu.udel.cis.vsl.civl.model.common.expression		64%		47%	202	498	317	930	84	327	2	37
edu.udel.cis.vsl.civl.run		70%		49%	99	148	146	500	14	46	0	6
edu.udel.cis.vsl.civl.model.common.type		53%		47%	74	176	97	265	40	121	0	12
edu.udel.cis.vsl.civl.library.civlc		84%		54%	148	255	69	549	7	37	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%	101	361	80	822	23	150	1	8
edu.udel.cis.vsl.civl.model.common.location		61%		64%	42	118	73	235	11	44	0	2
edu.udel.cis.vsl.civl.library.mpi		0%		0%	20	20	53	53	10	10	2	2
edu.udel.cis.vsl.civl.model.IF.expression		85%		n/a	9	24	2	26	9	24	1	6
edu.udel.cis.vsl.civl.err		82%		50%	24	43	15	83	12	31	1	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.common.variable		81%		66%	13	42	14	76	2	23	0	1
edu.udel.cis.vsl.civl.predicate		93%		84%	8	35	9	90	1	13	0	2
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.model		86%		n/a	1	4	1	4	1	4	0	1
edu.udel.cis.vsl.civl.state		67%		n/a	1	2	1	2	1	2	0	1