LibseqExecutor

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	423 of 1,060	60%	23 of 88	74%	23	54	51	168	0	7
executeSeqInsertOrRemove(State, int, String, Expression[], SymbolicExpression[], CIVLSource, boolean)		61%		83%	9	27	26	88	0	1
executeSeqInit(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		51%		57%	6	8	16	46	0	1
executeSeqLength(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		46%		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