Test Coverage Report for CIVL 0.11 r930

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	45,560 of 67,344	32%	4,576 of 6,040	24%	3,958	5,316	8,518	12,957	1,171	2,089	81	198
edu.udel.cis.vsl.civl.model.common		44%		35%	956	1,436	1,967	3,599	219	496	4	24
edu.udel.cis.vsl.civl.semantics		31%		19%	427	545	1,157	1,642	64	137	2	9
edu.udel.cis.vsl.civl.model.common.statement		14%		17%	423	518	905	1,144	233	307	18	28
edu.udel.cis.vsl.civl.library.civlc		0%		0%	284	286	692	695	39	41	2	3
edu.udel.cis.vsl.civl.kripke		22%		14%	411	477	807	1,063	62	110	3	8
edu.udel.cis.vsl.civl.transform.common		13%		12%	167	189	508	634	30	41	4	6
edu.udel.cis.vsl.civl.model.common.expression		27%		19%	362	509	624	945	206	338	18	39
edu.udel.cis.vsl.civl.state.immutable		52%		48%	226	415	458	1,039	54	165	1	8
edu.udel.cis.vsl.civl.run		47%		28%	147	179	319	596	31	58	4	11
edu.udel.cis.vsl.civl.library.stdio		18%		9%	78	87	251	298	10	15	0	2
edu.udel.cis.vsl.civl.model.common.type		38%		33%	105	176	130	265	63	121	2	12
edu.udel.cis.vsl.civl.model.common.location		41%		32%	78	118	136	235	21	44	0	2
edu.udel.cis.vsl.civl.err		0%		0%	43	43	85	85	31	31	9	9
edu.udel.cis.vsl.civl.util		10%		7%	71	79	111	127	15	22	2	5
edu.udel.cis.vsl.civl.transition		20%		0%	32	44	79	103	30	42	3	7
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.predicate		37%		32%	24	35	55	90	6	13	0	2
edu.udel.cis.vsl.civl.log		0%		0%	27	27	42	42	5	5	1	1
edu.udel.cis.vsl.civl.library.stdlib		0%		0%	12	12	24	24	8	8	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.library		80%		55%	9	23	17	108	1	13	0	4
edu.udel.cis.vsl.civl.model.common.variable		58%		42%	23	42	33	76	7	23	0	1
edu.udel.cis.vsl.civl.model.IF.statement		59%		n/a	5	8	2	4	5	8	1	2
edu.udel.cis.vsl.civl.model		25%		n/a	3	4	3	4	3	4	0	1
edu.udel.cis.vsl.civl		0%		n/a	3	3	6	6	3	3	1	1
edu.udel.cis.vsl.civl.model.IF.type		95%		n/a	1	4	0	2	1	4	0	1
edu.udel.cis.vsl.civl.state		67%		n/a	1	2	1	2	1	2	0	1