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.java		53%		50%	250	428	768	1,632	10	51	0	1
CommonEvaluator.java		77%		69%	189	508	354	1,717	12	111	0	1
CommonMemoryUnitEvaluator.java		35%		28%	44	59	119	187	1	8	0	1
ReadSetAnalyzer.java		54%		50%	46	86	88	217	14	30	0	1
CommonExecutor.java		83%		78%	62	200	98	686	2	30	0	1
SimpleArrayReshaper.java		60%		56%	28	58	63	153	5	14	0	1
QuantifiedExpressionEvaluator.java		71%		61%	27	52	63	242	1	12	0	1
MemEvaluator.java		91%		74%	52	138	24	429	0	28	0	1
ReservedLogicFunctionCallEvaluator.java		32%		62%	5	8	15	25	3	4	0	1
Pointer2MemCaster.java		0%		0%	12	12	19	19	3	3	1	1
Int2CharCaster.java		0%		0%	11	11	24	24	3	3	1	1
SimpleArrayToolBox.java		87%		70%	20	46	11	102	5	21	0	3
Char2IntCaster.java		0%		0%	4	4	18	18	2	2	1	1
CIVLDereferenceOperator.java		78%		38%	15	28	9	55	0	9	0	2
ErrorSideEffectFreeEvaluator.java		73%		37%	4	14	10	38	1	10	0	2
ReadSetCollectEvaluator.java		77%		72%	3	11	10	43	1	4	0	1
SimpleArrayCutter.java		93%		81%	11	41	4	112	0	11	0	1
Int2PointerCaster.java		82%		83%	2	6	2	23	1	3	0	1
LogicFunctionInterpretor.java		92%		83%	4	12	5	61	1	3	0	1
CommonTransition.java		81%		75%	3	14	3	24	1	10	0	1
Utils.java		76%		66%	5	12	2	14	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