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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	8,204 of 26,555	69%	866 of 2,158	59%	691	1,496	1,544	5,091	43	317	0	32
CommonSymbolicAnalyzer		56%		51%	227	405	681	1,565	8	49	0	1
CommonEvaluator		79%		71%	176	494	299	1,692	8	108	0	1
CommonMemoryUnitEvaluator		28%		19%	62	76	163	230	3	10	0	1
CommonExecutor		77%		76%	61	183	110	628	2	29	0	1
SimpleArrayReshaper		43%		40%	38	58	88	153	7	14	0	1
QuantifiedExpressionEvaluator		72%		63%	26	52	58	242	1	12	0	1
UFExtender		41%		41%	18	28	52	92	0	3	0	1
SimpleArrayToolBox		63%		52%	26	44	30	88	7	19	0	1
SimpleArrayRazor		78%		69%	13	37	23	104	2	11	0	1
ReservedLogicFunctionCallEvaluator		30%		41%	7	10	15	25	3	4	0	1
CommonSymbolicAnalyzer.new Object() {...}		86%		n/a	0	1	0	5	0	1	0	1
CommonEvaluator.new Object() {...}		86%		n/a	0	1	0	6	0	1	0	1
CIVLDereferenceOperator		77%		38%	15	27	9	51	0	8	0	1
ErrorSideEffectFreeEvaluator		83%		37%	3	13	7	35	0	9	0	1
CommonTransition		70%		75%	3	14	3	24	1	10	0	1
UFExtender.new Object() {...}		86%		n/a	0	1	0	2	0	1	0	1
Int2PointerCaster		82%		83%	2	6	2	23	1	3	0	1
CommonMemoryUnitEvaluator.new Object() {...}		87%		n/a	0	1	0	5	0	1	0	1
CommonExecutor.new Object() {...}		87%		n/a	0	1	0	4	0	1	0	1
CommonLibraryExecutorLoader		91%		62%	3	7	5	26	0	3	0	1
Char2IntCaster		81%		75%	1	4	1	18	0	2	0	1
Int2CharCaster		88%		62%	6	11	0	24	0	3	0	1
CommonLibraryEvaluatorLoader		95%		62%	3	7	3	25	0	3	0	1
CIVLDereferenceOperator.new Object() {...}		87%		n/a	0	1	0	1	0	1	0	1
QuantifiedExpressionEvaluator.new Object() {...}		89%		n/a	0	1	0	2	0	1	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