dev.civl.mc.model.common

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	5,921 of 23,885	75%	833 of 2,661	68%	735	2,065	1,333	5,279	136	626	4	26
FunctionTranslator		79%		75%	228	714	402	2,196	6	110	0	1
CommonAccuracyAssumptionBuilder		1%		0%	122	124	405	411	20	22	0	1
CommonModelFactory		84%		67%	88	284	86	554	14	138	0	1
CommonFunction		58%		50%	55	124	104	267	18	59	0	1
CommonScope		79%		79%	38	155	47	275	12	48	0	1
FunctionContractTranslator		61%		59%	26	50	54	147	0	6	0	1
CommonFragment		64%		61%	27	61	57	155	5	22	0	1
CommonModel		57%		43%	24	53	45	115	14	37	0	1
ModelBuilderWorker		94%		88%	37	196	25	501	3	35	0	1
CommonAbstractFunction		33%		27%	9	13	22	34	3	6	0	1
MemoryUnitExpressionAnalyzer		93%		85%	21	110	15	236	0	9	0	1
FunctionInfo		82%		81%	7	31	11	70	5	20	0	1
ExpandedCIVLSource		0%		n/a	8	8	13	13	8	8	1	1
CommonCIVLTypeFactory		96%		88%	9	73	6	182	4	52	0	1
ABC_CIVLSource		71%		50%	8	14	6	22	4	10	0	1
CommonLogicFunction		73%		25%	3	10	4	16	1	8	0	1
SystemCIVLSource		15%		n/a	7	8	8	9	7	8	0	1
CommonNondetFunction		0%		n/a	3	3	4	4	3	3	1	1
CommonSystemFunction		69%		n/a	4	7	5	14	4	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
CommonModelFactory.TempVariableKind		0%		n/a	1	1	2	2	1	1	1	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
ModelBuilderWorker.new Object() {...}		100%		n/a	0	1	0	5	0	1	0	1