TASS trunk r2552

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	109,876 of 262,907	58%	13,073 of 24,920	48%	11,698	20,019	19,894	48,888	2,810	7,025	301	946
edu.udel.cis.vsl.tass.ast.impl.pragmaParser		39%		15%	3,022	3,422	6,327	9,451	250	423	44	87
edu.udel.cis.vsl.tass.front.minimp.parser		77%		61%	2,325	4,467	2,826	12,749	70	578	8	104
edu.udel.cis.vsl.tass.ast.parser		0%		0%	961	961	2,141	2,141	670	670	140	140
edu.udel.cis.vsl.tass.gui.impl		0%		0%	115	115	857	857	50	50	11	11
edu.udel.cis.vsl.tass.ast2model.impl		29%		25%	273	328	673	942	80	109	3	7
edu.udel.cis.vsl.tass.ast.impl		44%		38%	305	460	525	984	150	260	7	18
edu.udel.cis.vsl.tass.semantics.impl		63%		67%	166	405	440	1,344	9	96	0	4
edu.udel.cis.vsl.tass.dynamic.impl.value		62%		57%	232	506	355	1,063	63	244	2	22
edu.udel.cis.vsl.tass.symbolic.ideal.simplify		72%		63%	281	590	269	1,222	18	108	0	5
edu.udel.cis.vsl.tass.state.impl		79%		70%	292	799	291	1,719	68	336	0	22
edu.udel.cis.vsl.tass.model.impl		68%		60%	173	450	251	974	60	261	1	11
edu.udel.cis.vsl.tass.ast.impl.expression		17%		27%	167	228	319	431	123	173	7	22
edu.udel.cis.vsl.tass.ui		0%		0%	76	76	293	293	15	15	5	5
edu.udel.cis.vsl.tass.dynamic.impl		69%		53%	140	326	226	703	39	168	0	5
edu.udel.cis.vsl.tass.ast.impl.type		6%		3%	131	147	208	239	95	110	6	12
edu.udel.cis.vsl.tass.ast.impl.declaration		9%		11%	125	149	225	268	82	101	3	7
edu.udel.cis.vsl.tass.kripke.impl		77%		76%	124	374	223	1,096	17	81	0	2
edu.udel.cis.vsl.tass.library.libstdio		0%		0%	55	55	187	187	24	24	4	4
edu.udel.cis.vsl.tass.symbolic.ideal		66%		61%	148	311	125	531	19	109	0	7
edu.udel.cis.vsl.tass.front.minimp		82%		76%	122	372	126	1,220	2	70	0	4
edu.udel.cis.vsl.tass.front.minimp.ast.expression		56%		41%	100	216	158	417	50	151	3	39
edu.udel.cis.vsl.tass.ast.impl.statement		14%		23%	133	171	255	319	107	138	11	17
edu.udel.cis.vsl.tass.library.libmpi		0%		0%	50	50	148	148	19	19	3	3
edu.udel.cis.vsl.tass.prove.cvc		63%		67%	47	123	125	367	7	29	0	3
edu.udel.cis.vsl.tass.morph		57%		48%	129	253	167	424	45	120	5	15
edu.udel.cis.vsl.tass.front.minimp.ast.statement		43%		22%	63	144	95	274	26	105	0	18
edu.udel.cis.vsl.tass.config		75%		44%	105	300	163	588	66	242	0	36
edu.udel.cis.vsl.tass.model.impl.expression		69%		46%	95	217	97	390	25	136	2	32
edu.udel.cis.vsl.tass.model.impl.statement		67%		60%	75	174	91	365	7	72	0	10
edu.udel.cis.vsl.tass.front.minimp.ast.declaration		42%		42%	39	85	74	164	24	65	0	11
edu.udel.cis.vsl.tass.symbolic.standard		48%		34%	84	125	85	161	48	85	0	2
edu.udel.cis.vsl.tass.model.impl.type		62%		50%	81	174	96	289	35	113	2	12
edu.udel.cis.vsl.tass.dynamic.impl.type		75%		66%	104	244	69	392	17	101	1	10
edu.udel.cis.vsl.tass.trace		0%		0%	27	27	109	109	21	21	4	4
edu.udel.cis.vsl.tass.predicate.impl		73%		78%	35	109	96	354	11	44	0	8
edu.udel.cis.vsl.tass.model.impl.location		71%		66%	67	177	70	357	18	100	0	16
edu.udel.cis.vsl.tass.number.real		78%		73%	45	152	35	299	2	69	0	5
edu.udel.cis.vsl.tass.front.minimp.ast.misc		44%		42%	25	54	56	113	9	30	0	3
edu.udel.cis.vsl.tass.symbolic.tuple		29%		16%	51	62	54	75	28	38	1	4
edu.udel.cis.vsl.tass.util		50%		41%	45	73	62	127	18	39	2	7
edu.udel.cis.vsl.tass.symbolic.array		61%		49%	54	107	44	140	20	65	1	6
edu.udel.cis.vsl.tass.library.impl		25%		17%	9	12	66	85	6	9	2	3
edu.udel.cis.vsl.tass.dynamic.impl.simplify		82%		72%	47	137	51	342	3	33	0	9
edu.udel.cis.vsl.tass.model.impl.expression.literal		72%		67%	41	101	50	219	14	52	1	7
edu.udel.cis.vsl.tass.model.impl.variable		63%		48%	33	80	29	127	8	48	0	7
edu.udel.cis.vsl.tass.symbolic.cnf		83%		68%	48	150	35	250	6	71	0	6
edu.udel.cis.vsl.tass.kripke.IF		63%		72%	13	28	23	108	1	5	0	1
edu.udel.cis.vsl.tass.search		73%		67%	34	69	46	162	15	31	1	2
edu.udel.cis.vsl.tass.symbolic		78%		66%	24	65	20	94	3	16	0	5
edu.udel.cis.vsl.tass		0%		0%	15	15	66	66	9	9	2	2
edu.udel.cis.vsl.tass.front.minimp.ast.type		58%		41%	32	67	37	115	17	51	1	11
edu.udel.cis.vsl.tass.model.impl.scope		79%		69%	28	94	20	180	10	65	0	5
edu.udel.cis.vsl.tass.semantics.IF		76%		38%	34	55	25	102	9	27	1	6
edu.udel.cis.vsl.tass.symbolic.cond		5%		0%	26	27	27	29	14	15	1	2
edu.udel.cis.vsl.tass.symbolic.factor		88%		72%	39	110	13	203	7	41	0	2
edu.udel.cis.vsl.tass.library.libfoo		47%		45%	19	25	35	64	10	14	2	3
edu.udel.cis.vsl.tass.symbolic.type		82%		55%	50	113	16	137	8	58	0	8
edu.udel.cis.vsl.tass.symbolic.monomial		73%		53%	35	72	16	89	4	31	0	2
edu.udel.cis.vsl.tass.symbolic.function		69%		49%	24	51	15	66	8	31	0	3
edu.udel.cis.vsl.tass.symbolic.affine		77%		65%	29	59	14	91	2	16	0	2
edu.udel.cis.vsl.tass.symbolic.factorpoly		86%		62%	33	84	8	149	4	43	0	2
edu.udel.cis.vsl.tass.symbolic.rational		74%		49%	22	47	12	65	6	28	0	2
edu.udel.cis.vsl.tass.symbolic.integer		66%		57%	24	51	8	53	4	27	0	3
edu.udel.cis.vsl.tass.symbolic.relation		79%		69%	19	55	7	69	1	21	0	5
edu.udel.cis.vsl.tass.symbolic.util		79%		73%	18	41	15	99	3	10	0	3
edu.udel.cis.vsl.tass.symbolic.monic		86%		72%	26	68	6	114	3	27	0	2
edu.udel.cis.vsl.tass.dynamic.IF		0%		n/a	6	6	6	6	6	6	2	2
edu.udel.cis.vsl.tass.log.impl		89%		73%	18	56	19	175	4	30	0	2
edu.udel.cis.vsl.tass.symbolic.polynomial		91%		80%	23	94	5	160	2	39	0	2
edu.udel.cis.vsl.tass.ast.IF.expression		84%		n/a	6	12	2	42	6	12	1	3
edu.udel.cis.vsl.tass.symbolic.constant		77%		53%	24	51	8	65	7	33	0	4
edu.udel.cis.vsl.tass.dynamic.impl.cell		91%		70%	31	100	11	202	3	49	0	7
edu.udel.cis.vsl.tass.transition.impl		69%		67%	13	42	9	57	5	30	0	5
edu.udel.cis.vsl.tass.library.libstdlib		63%		57%	15	20	17	50	10	13	2	3
edu.udel.cis.vsl.tass.ast		0%		n/a	5	5	18	18	5	5	2	2
edu.udel.cis.vsl.tass.symbolic.concrete		84%		53%	20	61	9	67	8	45	0	3
edu.udel.cis.vsl.tass.prove.ideal		73%		67%	16	30	17	60	10	21	0	3
edu.udel.cis.vsl.tass.ast.IF.declaration		0%		n/a	4	4	2	2	4	4	1	1
edu.udel.cis.vsl.tass.model.IF		85%		72%	15	35	9	71	6	19	1	3
edu.udel.cis.vsl.tass.verify.impl		93%		88%	6	31	9	150	0	6	0	1
edu.udel.cis.vsl.tass.symbolic.power		77%		56%	17	33	3	34	0	13	0	2
edu.udel.cis.vsl.tass.front.minimp.lib		86%		75%	3	22	5	66	0	16	0	2
edu.udel.cis.vsl.tass.symbolic.cast		69%		50%	6	16	4	21	3	13	0	2
edu.udel.cis.vsl.tass.model.impl.lib		0%		n/a	2	2	8	8	2	2	1	1
edu.udel.cis.vsl.tass.number.IF		86%		80%	6	18	1	36	0	3	0	1
edu.udel.cis.vsl.tass.ast.IF		0%		n/a	3	3	5	5	3	3	1	1
edu.udel.cis.vsl.tass.ast.IF.type		84%		n/a	4	8	0	2	4	8	0	2
edu.udel.cis.vsl.tass.library		32%		n/a	3	4	3	4	3	4	0	1
edu.udel.cis.vsl.tass.model.IF.expression		96%		n/a	3	8	0	35	3	8	0	2
edu.udel.cis.vsl.tass.model.IF.statement		94%		n/a	3	8	0	22	3	8	0	2
edu.udel.cis.vsl.tass.verify		83%		50%	5	7	3	17	3	5	0	1
edu.udel.cis.vsl.tass.state		52%		n/a	2	4	2	4	2	4	0	1
edu.udel.cis.vsl.tass.library.libmpp		0%		n/a	5	5	6	6	5	5	1	1
edu.udel.cis.vsl.tass.symbolic.expression		92%		60%	4	17	1	28	0	12	0	2
edu.udel.cis.vsl.tass.gui.IF		0%		n/a	2	2	2	2	2	2	1	1
edu.udel.cis.vsl.tass.symbolic.IF.tree		98%		n/a	1	4	0	32	1	4	0	1
edu.udel.cis.vsl.tass.model.IF.type		96%		n/a	1	4	0	11	1	4	0	1
edu.udel.cis.vsl.tass.model.IF.location		96%		n/a	1	4	0	11	1	4	0	1
edu.udel.cis.vsl.tass.symbolic.IF.type		94%		n/a	1	4	0	2	1	4	0	1
edu.udel.cis.vsl.tass.dynamic.IF.cell		93%		n/a	1	4	0	2	1	4	0	1
edu.udel.cis.vsl.tass.model.IF.scope		93%		n/a	1	4	0	2	1	4	0	1
edu.udel.cis.vsl.tass.prove.IF		0%		n/a	1	1	2	2	1	1	1	1
edu.udel.cis.vsl.tass.simplify.light		95%		100%	1	9	1	18	1	8	0	2
edu.udel.cis.vsl.tass.kripke		92%		n/a	1	4	1	4	1	4	0	1
edu.udel.cis.vsl.tass.semantics		83%		n/a	1	3	1	3	1	3	0	1
edu.udel.cis.vsl.tass.log		81%		n/a	1	3	1	3	1	3	0	1
edu.udel.cis.vsl.tass.prove		77%		n/a	1	3	1	3	1	3	0	1
edu.udel.cis.vsl.tass.dynamic		73%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.tass.log.IF		70%		n/a	1	2	1	4	1	2	0	1
edu.udel.cis.vsl.tass.model		62%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.tass.number		62%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.tass.simplify		62%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.tass.transition		57%		n/a	1	2	1	2	1	2	0	1
edu.udel.cis.vsl.tass.predicate		57%		n/a	1	2	1	2	1	2	0	1