| reportOutOfBoundError(State, String, BooleanExpression, ValidityResult.ResultType, SymbolicExpression, NumericExpression, NumericExpression, CIVLSource) |  | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| setDataFrom(State, String, Expression, SymbolicExpression, NumericExpression, SymbolicExpression, boolean, CIVLSource) |  | 82% | | 71% | 4 | 8 | 4 | 38 | 0 | 1 |
| arrayFlatten(State, String, SymbolicExpression, CIVLSource) | | 68% | | 56% | 7 | 10 | 7 | 20 | 0 | 1 |
| arrayCasting(State, String, SymbolicExpression, SymbolicCompleteArrayType, CIVLSource) | | 88% | | 65% | 9 | 14 | 4 | 38 | 0 | 1 |
| getDataFrom(State, String, Expression, SymbolicExpression, NumericExpression, boolean, CIVLSource) | | 94% | | 80% | 2 | 6 | 1 | 32 | 0 | 1 |
| arrayFlattenWorker(State, SymbolicExpression, CIVLSource) | | 91% | | 75% | 3 | 7 | 2 | 25 | 0 | 1 |
| arrayLambdaFlatten(State, SymbolicExpression, NumericExpression[], CIVLSource) | | 96% | | 67% | 2 | 4 | 0 | 23 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| setDataBetween(State, String, SymbolicExpression, NumericExpression[], NumericExpression, NumericExpression, SymbolicExpression, SymbolicExpression, CIVLSource) | | 100% | | 88% | 1 | 5 | 0 | 23 | 0 | 1 |
| hasNonConcreteExtent(Reasoner, SymbolicExpression) | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| BaseLibraryEvaluator(String, Evaluator, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryEvaluatorLoader) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| getDataBetween(State, String, NumericExpression, NumericExpression, SymbolicExpression, NumericExpression[], CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| evaluateGuard(CIVLSource, State, int, String, Expression[]) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |