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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	7,991 of 26,474	70%	1,001 of 2,684	63%	843	2,085	1,560	5,575	134	608	2	28
FunctionTranslator		72%		68%	293	736	577	2,411	12	104	0	1
CommonAccuracyAssumptionBuilder		1%		0%	126	128	338	344	19	21	0	1
CommonModelFactory		82%		65%	118	347	121	768	18	159	0	1
ContractTranslator		34%		35%	45	63	126	203	1	7	0	1
CommonFunction		49%		46%	61	119	114	254	19	52	0	1
CommonScope		75%		77%	44	156	49	268	12	47	0	1
CommonFragment		61%		64%	26	61	52	150	5	22	0	1
CommonAccuracyAssumptionBuilder.new Object() {...}		0%		n/a	1	1	2	2	1	1	1	1
MemoryUnitExpressionAnalyzer		82%		81%	30	126	50	318	0	9	0	1
CommonModel		51%		29%	27	52	48	109	14	35	0	1
FunctionTranslator.new Object() {...}		87%		n/a	0	1	0	16	0	1	0	1
ModelBuilderWorker		91%		86%	29	136	35	412	3	28	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		17%		n/a	6	7	7	11	6	7	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
CommonSystemFunction		72%		n/a	2	7	3	14	2	7	0	1
SystemCIVLSource		18%		n/a	6	7	7	8	6	7	0	1
CommonIdentifier		82%		50%	6	13	5	24	0	6	0	1
CommonModelBuilder		74%		n/a	2	4	4	10	2	4	0	1
ABC_CIVLSource		83%		n/a	2	9	3	12	2	9	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%		92%	3	56	2	155	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