edu.udel.cis.vsl.civl.model.common

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	7,764 of 27,556	72%	1,003 of 2,832	65%	851	2,184	1,510	5,810	134	627	3	29
FunctionTranslator		75%		69%	305	792	520	2,561	8	110	0	1
CommonAccuracyAssumptionBuilder		1%		0%	128	130	367	373	20	22	0	1
CommonModelFactory		83%		64%	116	345	118	755	17	159	0	1
ContractTranslator		34%		34%	46	63	128	203	1	7	0	1
CommonFunction		51%		49%	57	122	111	261	17	55	0	1
CommonScope		75%		77%	44	159	49	272	12	48	0	1
CommonFragment		61%		63%	27	61	52	150	5	22	0	1
CommonAccuracyAssumptionBuilder.new Object() {...}		0%		n/a	1	1	2	2	1	1	1	1
CommonModel		50%		29%	28	52	49	109	15	35	0	1
FunctionTranslator.new Object() {...}		86%		n/a	0	1	0	17	0	1	0	1
ModelBuilderWorker		93%		89%	30	166	34	471	3	30	0	1
MemoryUnitExpressionAnalyzer		91%		87%	23	125	23	313	0	9	0	1
CommonAbstractFunction		18%		0%	4	6	11	15	3	5	0	1
MemoryUnitExpressionAnalyzer.new Object() {...}		86%		n/a	0	1	0	2	0	1	0	1
FunctionInfo		82%		82%	7	31	11	70	5	20	0	1
ExpandedCIVLSource		15%		n/a	7	8	9	13	7	8	0	1
CommonModelFactory.new Object() {...}		87%		n/a	0	1	0	4	0	1	0	1
ContractTranslator.new Object() {...}		87%		n/a	0	1	0	5	0	1	0	1
CommonNondetFunction		0%		n/a	3	3	4	4	3	3	1	1
CommonSystemFunction		72%		n/a	2	7	3	14	2	7	0	1
SystemCIVLSource		26%		n/a	6	8	7	9	6	8	0	1
ABC_CIVLSource		76%		n/a	3	10	4	13	3	10	0	1
CommonIdentifier		85%		57%	5	13	4	24	0	6	0	1
CommonModelBuilder		74%		n/a	2	4	4	10	2	4	0	1
CommonModelFactory.TempVariableKind		82%		n/a	1	4	0	2	1	4	0	1
ModelFactoryException		0%		n/a	1	1	2	2	1	1	1	1
CommonCIVLTypeFactory		99%		96%	2	58	2	151	1	44	0	1
StaticAnalysisConfiguration		93%		80%	3	8	1	9	1	2	0	1
CommonSourceable		100%		n/a	0	3	0	6	0	3	0	1