LibstringExecutor

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	246 of 1,056	76%	37 of 82	54%	33	51	45	214	0	7
execute_strcmp(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		41%		44%	9	10	24	43	0	1
execute_memset(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		76%		51%	11	17	15	62	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[])		88%		80%	1	5	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