Test Coverage Report for CIVL 0.10 r851

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	19,143 of 59,092	68%	2,219 of 5,297	58%	2,184	4,821	3,406	11,333	596	1,979	23	183
edu.udel.cis.vsl.civl.model.common		75%		68%	518	1,389	746	3,495	104	486	3	24
edu.udel.cis.vsl.civl.model.common.statement		36%		43%	309	518	637	1,144	170	307	7	28
edu.udel.cis.vsl.civl.semantics		65%		58%	216	493	489	1,510	23	134	2	9
edu.udel.cis.vsl.civl.kripke		58%		51%	253	462	410	1,008	39	109	1	8
edu.udel.cis.vsl.civl.model.common.expression		63%		47%	205	504	320	939	87	333	2	38
edu.udel.cis.vsl.civl.run		73%		49%	103	154	147	531	14	47	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%	150	261	69	553	7	38	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	364	80	831	23	153	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.gui		0%		0%	11	11	51	51	4	4	1	1
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	25	9	24	1	6
edu.udel.cis.vsl.civl.err		82%		50%	24	43	15	84	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.stdio		77%		68%	15	31	24	84	6	11	0	2
edu.udel.cis.vsl.civl.library		83%		60%	7	23	12	107	0	13	0	4
edu.udel.cis.vsl.civl		0%		n/a	6	6	11	11	6	6	1	1
edu.udel.cis.vsl.civl.transition		70%		0%	7	24	14	47	6	23	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.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