LibcivlcExecutor

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	264 of 862	69%	57 of 109	48%	50	88	37	129	5	16
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])		64%		47%	34	57	13	41	0	1
executeIsTerminated(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		0%	4	4	7	7	1	1
executeProcDefined(State, int, String, Expression[], SymbolicExpression[])		0%		0%	2	2	3	3	1	1
executeScopeDefined(State, int, String, Expression[], SymbolicExpression[])		0%		0%	2	2	3	3	1	1
executePathCondition(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		34%		50%	1	2	4	6	0	1
executeWaitAll(State, int, Expression[], SymbolicExpression[], CIVLSource)		88%		75%	2	5	3	26	0	1
executeIsDerefable(State, int, String, Expression[], SymbolicExpression[])		0%		n/a	1	1	3	3	1	1
executeHavoc(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		98%		100%	0	2	0	12	0	1
executeIsConcreteInt(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		95%		83%	1	4	0	6	0	1
executeVariableReference(State, int, String, Expression[], SymbolicExpression[])		0%		n/a	1	1	1	1	1	1
executeWait(State, int, Expression[], SymbolicExpression[], CIVLSource)		100%		50%	2	3	0	6	0	1
executeNextTimeCount(State, int, String, Expression[], SymbolicExpression[])		100%		n/a	0	1	0	6	0	1
executeGetState(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		100%		n/a	0	1	0	2	0	1
executePow(State, int, String, Expression[], SymbolicExpression[])		100%		n/a	0	1	0	2	0	1
executeAssume(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		100%		n/a	0	1	0	3	0	1
LibcivlcExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader)		100%		n/a	0	1	0	2	0	1