dev.civl.mc.model.common

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	6,524 of 24,631	73%	878 of 2,733	67%	772	2,121	1,570	6,007	140	635	4	26
FunctionTranslator.java		77%		73%	245	733	534	2,609	10	114	0	1
CommonAccuracyAssumptionBuilder.java		1%		0%	122	124	405	411	20	22	0	1
CommonModelFactory.java		81%		66%	98	296	115	646	17	143	1	2
FunctionContractTranslator.java		47%		48%	39	63	109	218	1	7	0	1
CommonFunction.java		58%		50%	55	124	104	267	18	59	0	1
CommonScope.java		79%		80%	37	155	47	275	12	48	0	1
CommonFragment.java		64%		61%	27	61	57	155	5	22	0	1
CommonModel.java		58%		43%	23	53	44	115	13	37	0	1
ModelBuilderWorker.java		93%		88%	37	204	38	565	3	36	0	2
MemoryUnitExpressionAnalyzer.java		88%		84%	23	114	28	304	0	9	0	1
CommonAbstractFunction.java		33%		27%	9	13	22	34	3	6	0	1
FunctionInfo.java		82%		81%	7	31	11	70	5	20	0	1
ExpandedCIVLSource.java		0%		n/a	8	8	13	13	8	8	1	1
CommonCIVLTypeFactory.java		96%		89%	8	75	5	209	3	52	0	1
CommonLogicFunction.java		73%		25%	3	10	4	16	1	8	0	1
SystemCIVLSource.java		15%		n/a	7	8	8	9	7	8	0	1
CommonNondetFunction.java		0%		n/a	3	3	4	4	3	3	1	1
ABC_CIVLSource.java		79%		50%	7	14	5	22	3	10	0	1
CommonSystemFunction.java		69%		n/a	4	7	5	14	4	7	0	1
CommonIdentifier.java		82%		50%	6	13	5	24	0	6	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
StaticAnalysisConfiguration.java		89%		100%	1	4	1	9	1	2	0	1
CommonSourceable.java		100%		n/a	0	3	0	6	0	3	0	1