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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	7,734 of 27,044	71%	997 of 2,765	64%	844	2,142	1,510	5,722	133	619	3	29
FunctionTranslator.java		76%		70%	301	787	522	2,539	8	111	0	2
CommonAccuracyAssumptionBuilder.java		1%		0%	129	131	367	373	21	23	1	2
CommonModelFactory.java		83%		64%	116	350	117	757	18	164	0	3
ContractTranslator.java		44%		34%	46	64	126	203	1	8	0	2
CommonFunction.java		51%		49%	58	120	112	257	18	53	0	1
CommonScope.java		75%		78%	43	156	48	268	12	47	0	1
CommonFragment.java		61%		64%	26	61	52	150	5	22	0	1
CommonModel.java		51%		29%	27	52	48	109	14	35	0	1
MemoryUnitExpressionAnalyzer.java		90%		87%	23	126	23	313	0	10	0	2
ModelBuilderWorker.java		92%		86%	30	138	34	417	3	28	0	1
CommonAbstractFunction.java		18%		0%	4	6	11	15	3	5	0	1
FunctionInfo.java		82%		82%	7	31	11	70	5	20	0	1
ExpandedCIVLSource.java		17%		n/a	6	7	7	11	6	7	0	1
CommonSystemFunction.java		68%		n/a	3	7	4	14	3	7	0	1
CommonNondetFunction.java		0%		n/a	3	3	4	4	3	3	1	1
CommonIdentifier.java		82%		50%	6	13	5	24	0	6	0	1
ABC_CIVLSource.java		71%		n/a	3	9	4	12	3	9	0	1
SystemCIVLSource.java		29%		n/a	5	7	6	8	5	7	0	1
CommonModelBuilder.java		74%		n/a	2	4	4	10	2	4	0	1
ModelFactoryException.java		0%		n/a	1	1	2	2	1	1	1	1
CommonCIVLTypeFactory.java		99%		96%	2	58	2	151	1	44	0	1
StaticAnalysisConfiguration.java		93%		80%	3	8	1	9	1	2	0	1
CommonSourceable.java		100%		n/a	0	3	0	6	0	3	0	1