LibstringExecutor

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	257 of 961	73%	40 of 89	55%	36	56	48	189	0	7
execute_strcmp(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		41%		44%	9	10	26	45	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)		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