Test Coverage Report for CIVL 0.4 r308

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	8,322 of 30,735	73%	1,042 of 2,628	60%	1,106	2,510	1,441	5,941	291	1,105	13	108
edu.udel.cis.vsl.civl.model.common		77%		69%	268	727	369	1,869	54	268	0	14
edu.udel.cis.vsl.civl.semantics		64%		54%	140	288	277	837	26	98	2	7
edu.udel.cis.vsl.civl.kripke		58%		55%	102	198	165	458	21	62	0	2
edu.udel.cis.vsl.civl.library.civlc		78%		40%	146	194	53	394	6	24	0	2
edu.udel.cis.vsl.civl.model.common.expression		55%		38%	83	196	145	357	50	151	6	24
edu.udel.cis.vsl.civl.run		71%		49%	61	95	113	362	12	35	0	4
edu.udel.cis.vsl.civl.state		88%		77%	84	281	62	677	12	116	0	5
edu.udel.cis.vsl.civl.model.common.statement		77%		67%	64	167	75	320	32	107	1	11
edu.udel.cis.vsl.civl.model.common.type		69%		57%	46	125	52	185	26	91	0	10
edu.udel.cis.vsl.civl.model.common.location		42%		39%	18	37	29	74	7	23	0	1
edu.udel.cis.vsl.civl.log		35%		16%	23	27	26	42	2	5	0	1
edu.udel.cis.vsl.civl		0%		n/a	6	6	11	11	6	6	1	1
edu.udel.cis.vsl.civl.err		86%		50%	21	40	9	77	9	28	1	8
edu.udel.cis.vsl.civl.transition		58%		25%	11	24	19	47	9	22	1	5
edu.udel.cis.vsl.civl.model.common.variable		76%		57%	9	25	10	45	3	18	0	1
edu.udel.cis.vsl.civl.library.stdlib		0%		n/a	7	7	11	11	7	7	1	1
edu.udel.cis.vsl.civl.predicate		95%		87%	8	39	9	105	1	13	0	2
edu.udel.cis.vsl.civl.model.IF.expression		96%		n/a	4	16	0	40	4	16	0	4
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.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