dev.civl.mc.semantics.common

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	8,091 of 27,980	71%	911 of 2,452	62%	766	1,733	1,525	5,434	72	385	4	30
CommonSymbolicAnalyzer.java		55%		52%	243	428	624	1,416	10	51	0	1
CommonEvaluator.java		80%		70%	189	515	260	1,521	12	112	0	1
CommonMemoryUnitEvaluator.java		5%		0%	53	55	175	187	6	8	0	1
CommonExecutor.java		84%		79%	59	206	75	628	2	32	0	1
ReadSetAnalyzer.java		60%		49%	45	87	85	228	11	30	0	1
SimpleArrayReshaper.java		60%		57%	25	55	63	153	5	14	0	1
QuantifiedExpressionEvaluator.java		76%		69%	21	50	54	250	1	12	0	1
MemEvaluator.java		89%		76%	40	122	33	439	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
LogicFunctionInterpretor.java		80%		72%	5	12	13	61	1	3	0	1
SimpleArrayCutter.java		94%		86%	7	37	4	112	0	11	0	1
ReadSetCollectEvaluator.java		72%		66%	2	7	5	20	1	4	0	1
CommonTransition.java		72%		75%	4	14	4	23	2	10	0	1
Int2PointerCaster.java		82%		83%	2	6	2	23	1	3	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