LibseqExecutor

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	397 of 1,040	62%	23 of 88	74%	23	54	47	170	0	7
executeSeqInsertOrRemove(State, int, String, Expression[], SymbolicExpression[], CIVLSource, boolean)		62%		83%	9	27	23	83	0	1
executeSeqInit(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		54%		57%	6	8	15	49	0	1
executeSeqLength(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		50%		50%	2	3	8	22	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