LibpointerExecutor

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	910 of 1,970	53%	70 of 111	36%	54	78	168	368	4	16
executeCopy(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		27%		50%	3	4	42	61	0	1
executeAssertEquals(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		60%		33%	14	16	35	85	0	1
execute_has_leaf_node_equal_to(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		0%	4	4	17	17	1	1
execute_leaf_nodes_equal_to(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		0%	4	4	17	17	1	1
execute_set_leaf_nodes(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		0%	3	3	11	11	1	1
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])		70%		66%	5	15	9	32	0	1
executePointer_add(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		71%		50%	3	4	6	26	0	1
executeEquals(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		63%		37%	4	5	9	21	0	1
executeSetDefault(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		51%		20%	5	6	8	15	0	1
executeApply(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		82%		50%	2	3	5	27	0	1
executeIsIdentityRef(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		0%	3	3	6	6	1	1
executeTranslatePointer(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		90%		66%	2	4	2	24	0	1
executeContains(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		90%		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