dev.civl.mc.semantics.common

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	7,427 of 27,346	72%	867 of 2,414	64%	735	1,704	1,383	5,285	68	381	4	30
CommonSymbolicAnalyzer.java		58%		54%	228	414	553	1,351	9	50	0	1
CommonEvaluator.java		83%		72%	175	502	203	1,464	10	110	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		62%		50%	43	85	71	201	10	29	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