dev.civl.mc.semantics.common

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	8,179 of 27,571	70%	905 of 2,412	62%	758	1,709	1,736	5,904	74	383	4	30
CommonSymbolicAnalyzer.java		54%		51%	243	424	748	1,639	11	51	0	1
CommonEvaluator.java		78%		70%	186	501	344	1,716	14	111	0	1
CommonMemoryUnitEvaluator.java		5%		0%	53	55	175	187	6	8	0	1
CommonExecutor.java		84%		80%	59	205	95	697	2	32	0	1
ReadSetAnalyzer.java		60%		46%	45	86	85	227	11	30	0	1
SimpleArrayReshaper.java		60%		57%	25	55	63	153	5	14	0	1
QuantifiedExpressionEvaluator.java		75%		68%	21	48	55	242	1	12	0	1
MemEvaluator.java		91%		78%	37	121	24	432	0	28	0	1
ReservedLogicFunctionCallEvaluator.java		32%		62%	5	8	15	25	3	4	0	1
Pointer2MemCaster.java		0%		0%	7	7	19	19	3	3	1	1
Int2CharCaster.java		0%		0%	8	8	24	24	3	3	1	1
Char2IntCaster.java		0%		0%	4	4	18	18	2	2	1	1
SimpleArrayToolBox.java		87%		75%	15	41	11	102	5	21	0	3
Utils.java		0%		0%	10	10	14	14	3	3	1	1
ErrorSideEffectFreeEvaluator.java		74%		37%	4	14	10	38	1	10	0	2
CIVLDereferenceOperator.java		79%		46%	11	24	9	55	0	9	0	2
SimpleArrayCutter.java		94%		86%	7	37	4	112	0	11	0	1
ReadSetCollectEvaluator.java		72%		66%	2	7	5	20	1	4	0	1
Int2PointerCaster.java		82%		83%	2	6	2	23	1	3	0	1
LogicFunctionInterpretor.java		92%		83%	4	12	5	61	1	3	0	1
CommonTransition.java		79%		75%	3	13	3	22	1	9	0	1
CommonLibraryExecutorLoader.java		91%		62%	3	7	5	27	0	3	0	1
CommonLibraryEvaluatorLoader.java		95%		62%	3	7	3	26	0	3	0	1
Pointer2IntCaster.java		100%		83%	1	5	0	18	0	2	0	1
FunctionCallExecutor.java		100%		n/a	0	2	0	4	0	2	0	1
NoopTransition.java		100%		n/a	0	2	0	3	0	2	0	1