LibstringExecutor

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	255 of 1,111	77%	42 of 95	56%	38	59	46	215	0	7
execute_strcmp(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		42%		44%	9	10	24	43	0	1
execute_memset(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		77%		52%	11	17	16	63	0	1
execute_strcpy(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		89%		57%	6	8	3	38	0	1
execute_strlen(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		95%		64%	5	8	2	56	0	1
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])		86%		67%	6	13	1	12	0	1
static {...}		75%		50%	1	2	0	1	0	1
LibstringExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader)		100%		n/a	0	1	0	2	0	1