LibstringExecutor

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	269 of 960	72%	41 of 89	54%	37	56	49	189	0	7
execute_strcmp(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		40%		44%	9	10	26	45	0	1
execute_memset(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		74%		48%	12	17	17	63	0	1
execute_strcpy(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		90%		57%	6	8	3	39	0	1
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])		86%		67%	6	13	1	12	0	1
execute_strlen(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		92%		62%	3	5	2	27	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