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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	7,447 of 27,181	72%	953 of 2,783	65%	818	2,145	1,498	5,823	134	633	5	31
FunctionTranslator.java		77%		72%	260	733	478	2,528	5	112	0	2
CommonAccuracyAssumptionBuilder.java		1%		0%	129	131	405	411	21	23	1	2
CommonModelFactory.java		82%		65%	108	321	101	661	16	146	1	3
FunctionContractTranslator.java		44%		34%	46	64	126	203	1	8	0	2
CommonFunction.java		55%		50%	56	124	106	265	17	57	0	1
CommonScope.java		76%		78%	42	160	47	275	12	48	0	1
CommonFragment.java		60%		62%	27	61	52	150	5	22	0	1
CommonModel.java		50%		30%	29	55	50	115	15	37	0	1
MemoryUnitExpressionAnalyzer.java		88%		86%	22	123	22	311	0	10	0	2
ModelBuilderWorker.java		92%		87%	34	171	35	479	3	31	0	1
CommonAbstractFunction.java		18%		0%	4	6	11	15	3	5	0	1
ExpandedCIVLSource.java		0%		n/a	8	8	13	13	8	8	1	1
FunctionInfo.java		82%		81%	7	31	11	70	5	20	0	1
CommonCIVLTypeFactory.java		95%		80%	13	88	6	219	2	54	0	2
CommonSystemFunction.java		67%		n/a	3	7	4	14	3	7	0	1
ABC_CIVLSource.java		66%		n/a	4	10	5	13	4	10	0	1
CommonNondetFunction.java		0%		n/a	3	3	4	4	3	3	1	1
SystemCIVLSource.java		26%		n/a	6	8	7	9	6	8	0	1
CommonIdentifier.java		82%		50%	6	13	5	24	0	6	0	1
CommonLogicFunction.java		85%		50%	4	12	1	17	0	8	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
CommonSourceable.java		69%		n/a	1	3	2	6	1	3	0	1
StaticAnalysisConfiguration.java		93%		80%	3	8	1	9	1	2	0	1