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		51%		49%	256	428	777	1,615	10	51	0	1
CommonEvaluator		77%		68%	190	504	353	1,714	9	111	0	1
MemEvaluator		52%		37%	96	135	192	428	9	28	0	1
ReadSetAnalyzer		28%		26%	59	78	135	198	20	29	0	1
CommonExecutor		78%		74%	74	207	119	708	1	30	0	1
CommonMemoryUnitEvaluator		28%		19%	64	77	163	231	3	10	0	1
SimpleArrayReshaper		60%		56%	28	58	63	153	5	14	0	1
QuantifiedExpressionEvaluator		81%		62%	26	52	35	242	0	12	0	1
ReservedLogicFunctionCallEvaluator		30%		41%	7	10	15	25	3	4	0	1
Pointer2MemCaster		0%		0%	12	12	19	19	3	3	1	1
CommonSymbolicAnalyzer.new Object() {...}		86%		n/a	0	1	0	6	0	1	0	1
Int2CharCaster		0%		0%	11	11	24	24	3	3	1	1
CommonEvaluator.new Object() {...}		86%		n/a	0	1	0	6	0	1	0	1
ReadSetCollectEvaluator		61%		54%	5	11	18	42	1	4	0	1
Char2IntCaster		0%		0%	4	4	18	18	2	2	1	1
SimpleArrayToolBox		87%		72%	19	44	9	88	5	19	0	1
ReadSetAnalyzer.new Object() {...}		86%		n/a	0	1	0	3	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
SimpleArrayCutter		95%		78%	12	41	4	112	0	11	0	1
CommonTransition		70%		75%	3	14	3	24	1	10	0	1
Int2PointerCaster		82%		83%	2	6	2	23	1	3	0	1
LogicFunctionInterpretor		93%		83%	4	12	5	60	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
MemEvaluator.new Object() {...}		87%		n/a	0	1	0	3	0	1	0	1
CommonLibraryExecutorLoader		91%		62%	3	7	5	26	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
ReadSetCollectEvaluator.new Object() {...}		87%		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
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