dev.civl.mc.semantics.common

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	7,418 of 27,333	72%	865 of 2,410	64%	733	1,702	1,381	5,282	68	381	4	30
CommonSymbolicAnalyzer		58%		54%	226	412	551	1,348	9	50	0	1
CommonEvaluator		83%		72%	175	502	203	1,464	10	110	0	1
CommonMemoryUnitEvaluator		5%		0%	53	55	175	187	6	8	0	1
CommonExecutor		84%		79%	59	206	75	628	2	32	0	1
ReadSetAnalyzer		62%		50%	43	85	71	201	10	29	0	1
SimpleArrayReshaper		60%		57%	25	55	63	153	5	14	0	1
QuantifiedExpressionEvaluator		76%		69%	21	50	54	250	1	12	0	1
MemEvaluator		89%		76%	40	122	33	439	0	28	0	1
ReservedLogicFunctionCallEvaluator		32%		62%	5	8	15	25	3	4	0	1
Pointer2MemCaster		0%		0%	7	7	19	19	3	3	1	1
Int2CharCaster		0%		0%	8	8	24	24	3	3	1	1
Char2IntCaster		0%		0%	4	4	18	18	2	2	1	1
SimpleArrayToolBox		86%		75%	15	39	11	88	5	19	0	1
Utils		0%		0%	10	10	14	14	3	3	1	1
ErrorSideEffectFreeEvaluator		73%		37%	4	13	10	35	1	9	0	1
CIVLDereferenceOperator		78%		46%	11	23	9	51	0	8	0	1
LogicFunctionInterpretor		80%		72%	5	12	13	61	1	3	0	1
SimpleArrayCutter		94%		86%	7	37	4	112	0	11	0	1
ReadSetCollectEvaluator		72%		66%	2	7	5	20	1	4	0	1
CommonTransition		72%		75%	4	14	4	23	2	10	0	1
Int2PointerCaster		82%		83%	2	6	2	23	1	3	0	1
CommonLibraryExecutorLoader		91%		62%	3	7	5	27	0	3	0	1
CommonLibraryEvaluatorLoader		95%		62%	3	7	3	26	0	3	0	1
Pointer2IntCaster		100%		83%	1	5	0	18	0	2	0	1
FunctionCallExecutor		100%		n/a	0	2	0	4	0	2	0	1
SimpleArrayToolBox.CommonArrayShape		100%		n/a	0	1	0	7	0	1	0	1
SimpleArrayToolBox.CommonArraySlice		100%		n/a	0	1	0	7	0	1	0	1
CIVLDereferenceOperator.DereferencedResult		100%		n/a	0	1	0	4	0	1	0	1
NoopTransition		100%		n/a	0	2	0	3	0	2	0	1
ErrorSideEffectFreeEvaluator.ErroneousSideEffectException		100%		n/a	0	1	0	3	0	1	0	1