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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	7,469 of 27,013	72%	918 of 2,724	66%	794	2,112	1,507	5,778	136	628	5	31
FunctionTranslator		75%		71%	267	742	515	2,570	7	111	0	1
CommonAccuracyAssumptionBuilder		1%		0%	128	130	403	409	20	22	0	1
FunctionContractTranslator		34%		34%	46	63	128	203	1	7	0	1
CommonFunction		55%		50%	56	124	106	265	17	57	0	1
CommonModelFactory		84%		69%	82	284	82	599	14	143	0	1
CommonScope		75%		77%	43	159	48	272	12	48	0	1
CommonFragment		60%		62%	27	61	52	150	5	22	0	1
CommonAccuracyAssumptionBuilder.new Object() {...}		0%		n/a	1	1	2	2	1	1	1	1
CommonModel		49%		29%	28	52	49	109	15	35	0	1
FunctionTranslator.new Object() {...}		86%		n/a	0	1	0	17	0	1	0	1
ModelBuilderWorker		92%		87%	33	171	35	477	3	31	0	1
CommonAbstractFunction		18%		0%	4	6	11	15	3	5	0	1
MemoryUnitExpressionAnalyzer		93%		89%	17	123	15	315	0	9	0	1
ExpandedCIVLSource		0%		n/a	8	8	13	13	8	8	1	1
MemoryUnitExpressionAnalyzer.new Object() {...}		86%		n/a	0	1	0	2	0	1	0	1
FunctionInfo		82%		81%	7	31	11	70	5	20	0	1
CommonCIVLTypeFactory		96%		80%	12	81	5	200	2	50	0	1
FunctionContractTranslator.new Object() {...}		87%		n/a	0	1	0	5	0	1	0	1
CommonModelFactory.new Object() {...}		86%		n/a	0	1	0	3	0	1	0	1
CommonModelFactory.TempVariableKind		0%		n/a	2	2	2	2	2	2	1	1
CommonSystemFunction		67%		n/a	3	7	4	14	3	7	0	1
CommonNondetFunction		0%		n/a	3	3	4	4	3	3	1	1
CommonLogicFunction		81%		50%	5	12	2	18	1	8	0	1
SystemCIVLSource		26%		n/a	6	8	7	9	6	8	0	1
CommonIdentifier		82%		50%	6	13	5	24	0	6	0	1
ABC_CIVLSource		76%		n/a	3	10	4	13	3	10	0	1
CommonCIVLTypeFactory.new Object() {...}		86%		n/a	0	1	0	1	0	1	0	1
CommonModelBuilder		74%		n/a	2	4	4	10	2	4	0	1
ModelFactoryException		0%		n/a	1	1	2	2	1	1	1	1
CommonSourceable		69%		n/a	1	3	2	6	1	3	0	1
StaticAnalysisConfiguration		93%		80%	3	8	1	9	1	2	0	1