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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	6,584 of 23,879	72%	971 of 2,746	64%	836	2,120	1,602	5,819	138	626	4	25
FunctionTranslator		77%		70%	269	727	550	2,522	10	111	0	1
CommonAccuracyAssumptionBuilder		1%		0%	128	130	405	411	20	22	0	1
CommonModelFactory		82%		64%	109	309	113	648	17	143	0	1
FunctionContractTranslator		35%		35%	45	63	128	206	1	7	0	1
CommonFunction		58%		50%	56	124	106	265	17	57	0	1
CommonScope		79%		78%	42	160	47	275	12	48	0	1
CommonFragment		64%		59%	31	65	57	155	5	22	0	1
CommonModel		51%		30%	29	55	50	115	15	37	0	1
MemoryUnitExpressionAnalyzer		85%		80%	28	114	35	305	0	9	0	1
ModelBuilderWorker		93%		87%	34	171	36	481	3	31	0	1
FunctionInfo		82%		81%	7	31	11	70	5	20	0	1
CommonAbstractFunction		27%		0%	4	6	11	15	3	5	0	1
ExpandedCIVLSource		0%		n/a	8	8	13	13	8	8	1	1
CommonCIVLTypeFactory		96%		80%	13	87	6	219	2	53	0	1
CommonNondetFunction		0%		n/a	3	3	4	4	3	3	1	1
SystemCIVLSource		26%		n/a	6	8	7	9	6	8	0	1
CommonModelFactory.TempVariableKind		0%		n/a	1	1	2	2	1	1	1	1
CommonIdentifier		82%		50%	6	13	5	24	0	6	0	1
CommonLogicFunction		85%		50%	4	12	1	17	0	8	0	1
ABC_CIVLSource		82%		62%	6	14	4	22	3	10	0	1
CommonSystemFunction		76%		n/a	3	7	4	14	3	7	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
StaticAnalysisConfiguration		89%		100%	1	4	1	9	1	2	0	1
CommonSourceable		100%		n/a	0	3	0	6	0	3	0	1