LibseqExecutor

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	397 of 1,013	61%	23 of 88	74%	23	54	47	160	0	7
executeSeqInsertOrRemove(State, int, String, Expression[], SymbolicExpression[], CIVLSource, boolean)		62%		83%	9	27	23	81	0	1
executeSeqInit(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		53%		57%	6	8	15	45	0	1
executeSeqLength(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		45%		50%	2	3	8	18	0	1
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])		83%		67%	6	13	1	12	0	1
LibseqExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader)		100%		n/a	0	1	0	2	0	1
executeSeqInsert(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		100%		n/a	0	1	0	1	0	1
executeSeqRemove(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		100%		n/a	0	1	0	1	0	1