LibpointerExecutor

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	1,110 of 2,293	52%	94 of 154	39%	74	106	175	383	4	16
executeAssertEquals(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		57%		33%	14	16	35	90	0	1
executeCopy(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		30%		50%	3	4	42	65	0	1
execute_has_leaf_node_equal_to(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		0%	4	4	18	18	1	1
execute_leaf_nodes_equal_to(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		0%	4	4	18	18	1	1
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])		68%		52%	24	43	9	32	0	1
execute_set_leaf_nodes(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		0%	3	3	11	11	1	1
executePointer_add(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		64%		50%	3	4	6	26	0	1
executeEquals(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		63%		38%	4	5	9	26	0	1
executeApply(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		76%		50%	2	3	5	27	0	1
executeTranslatePointer(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		60%		50%	3	4	7	23	0	1
executeSetDefault(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		46%		20%	5	6	8	15	0	1
executeIsIdentityRef(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		0%	3	3	6	6	1	1
executeContains(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		91%		50%	2	3	1	9	0	1
executeLeafNodePointers(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		100%		100%	0	2	0	12	0	1
execute_is_valid_pointer(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		100%		n/a	0	1	0	3	0	1
LibpointerExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader)		100%		n/a	0	1	0	2	0	1