edu.udel.cis.vsl.civl.semantics.common

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	8,208 of 27,675	70%	964 of 2,534	61%	804	1,771	1,717	5,899	67	382	3	30
CommonSymbolicAnalyzer		53%		50%	250	428	768	1,632	10	51	0	1
CommonEvaluator		77%		69%	189	508	354	1,717	12	111	0	1
CommonMemoryUnitEvaluator		35%		28%	44	59	119	187	1	8	0	1
ReadSetAnalyzer		54%		50%	46	86	88	217	14	30	0	1
CommonExecutor		83%		78%	62	200	98	686	2	30	0	1
SimpleArrayReshaper		60%		56%	28	58	63	153	5	14	0	1
QuantifiedExpressionEvaluator		71%		61%	27	52	63	242	1	12	0	1
MemEvaluator		91%		74%	52	138	24	429	0	28	0	1
ReservedLogicFunctionCallEvaluator		32%		62%	5	8	15	25	3	4	0	1
Pointer2MemCaster		0%		0%	12	12	19	19	3	3	1	1
Int2CharCaster		0%		0%	11	11	24	24	3	3	1	1
SimpleArrayToolBox		86%		70%	20	44	11	88	5	19	0	1
Char2IntCaster		0%		0%	4	4	18	18	2	2	1	1
CIVLDereferenceOperator		77%		38%	15	27	9	51	0	8	0	1
ErrorSideEffectFreeEvaluator		73%		37%	4	13	10	35	1	9	0	1
ReadSetCollectEvaluator		77%		72%	3	11	10	43	1	4	0	1
SimpleArrayCutter		93%		81%	11	41	4	112	0	11	0	1
Int2PointerCaster		82%		83%	2	6	2	23	1	3	0	1
LogicFunctionInterpretor		92%		83%	4	12	5	61	1	3	0	1
CommonTransition		81%		75%	3	14	3	24	1	10	0	1
Utils		76%		66%	5	12	2	14	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.CommonArraySlice		100%		n/a	0	1	0	7	0	1	0	1
SimpleArrayToolBox.CommonArrayShape		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