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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	7,383 of 24,156	69%	801 of 1,973	59%	624	1,348	1,420	4,664	26	265	1	27
CommonSymbolicAnalyzer		55%		50%	233	408	697	1,555	9	49	0	1
CommonEvaluator		79%		70%	178	487	316	1,673	8	105	0	1
CommonMemoryUnitEvaluator		27%		20%	62	76	163	227	3	10	0	1
CommonExecutor		77%		76%	62	183	111	627	2	29	0	1
UFExtender		42%		41%	18	28	52	92	0	3	0	1
ErrorSideEffectFreeEvaluator		41%		25%	10	20	31	53	1	10	0	1
QuantifiedExpressionEvaluator		84%		62%	26	51	29	214	0	11	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	5	0	1	0	1
CIVLDereferenceOperator		77%		38%	15	27	9	51	0	8	0	1
CommonTransition		71%		75%	3	14	3	24	1	10	0	1
UFExtender.new Object() {...}		87%		n/a	0	1	0	2	0	1	0	1
Int2PointerCaster		82%		83%	2	6	2	23	1	3	0	1
CommonMemoryUnitEvaluator.new Object() {...}		88%		n/a	0	1	0	5	0	1	0	1
CommonExecutor.new Object() {...}		88%		n/a	0	1	0	4	0	1	0	1
CommonLibraryExecutorLoader		92%		62%	3	7	5	26	0	3	0	1
Char2IntCaster		81%		75%	1	4	1	18	0	2	0	1
Int2CharCaster		89%		62%	6	11	0	24	0	3	0	1
CommonLibraryEvaluatorLoader		96%		62%	3	7	3	25	0	3	0	1
CIVLDereferenceOperator.new Object() {...}		87%		n/a	0	1	0	1	0	1	0	1
ErrorSideEffectFreeEvaluator.ErroneousSideEffectException		0%		n/a	1	1	3	3	1	1	1	1
QuantifiedExpressionEvaluator.new Object() {...}		89%		n/a	0	1	0	2	0	1	0	1
ErrorSideEffectFreeEvaluator.new Object() {...}		92%		n/a	0	1	0	1	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
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