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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	10,440 of 31,283	66%	1,108 of 2,540	56%	897	1,780	1,971	5,907	77	389	3	38
CommonSymbolicAnalyzer.java		54%		49%	256	429	775	1,615	10	52	0	2
CommonEvaluator.java		77%		68%	190	505	353	1,714	9	112	0	2
MemEvaluator.java		54%		37%	96	136	192	428	9	29	0	2
ReadSetAnalyzer.java		45%		26%	59	79	134	198	20	30	0	2
CommonExecutor.java		78%		74%	74	208	119	708	1	31	0	2
CommonMemoryUnitEvaluator.java		35%		19%	64	78	160	231	3	11	0	2
SimpleArrayReshaper.java		60%		56%	28	58	63	153	5	14	0	1
QuantifiedExpressionEvaluator.java		81%		62%	26	53	34	242	0	13	0	2
ReservedLogicFunctionCallEvaluator.java		30%		41%	7	10	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
ReadSetCollectEvaluator.java		65%		54%	5	12	18	42	1	5	0	2
Char2IntCaster.java		0%		0%	4	4	18	18	2	2	1	1
SimpleArrayToolBox.java		87%		72%	19	46	9	102	5	21	0	3
CIVLDereferenceOperator.java		79%		38%	15	29	9	55	0	10	0	3
ErrorSideEffectFreeEvaluator.java		83%		37%	3	14	7	38	0	10	0	2
SimpleArrayCutter.java		95%		78%	12	41	4	112	0	11	0	1
CommonTransition.java		70%		75%	3	14	3	24	1	10	0	1
Int2PointerCaster.java		82%		83%	2	6	2	23	1	3	0	1
LogicFunctionInterpretor.java		93%		83%	4	12	5	60	1	3	0	1
CommonLibraryExecutorLoader.java		91%		62%	3	7	5	26	0	3	0	1
CommonLibraryEvaluatorLoader.java		95%		62%	3	7	3	25	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