| applyCIVLOperation(State, int, String, SymbolicExpression[], LibraryComponent.CIVLOperator, NumericExpression, SymbolicType, CIVLSource) |   | 40% | | 50% | 6 | 10 | 31 | 54 | 0 | 1 |
| singleApplyCIVLOperation(State, String, SymbolicExpression[], SymbolicExpression[], LibraryComponent.CIVLOperator, int, CIVLSource) | | 28% | | 30% | 7 | 10 | 25 | 34 | 0 | 1 |
| applyMinLocOperation(NumericExpression[], NumericExpression[]) | | 0% | | 0% | 3 | 3 | 13 | 13 | 1 | 1 |
| reportOutOfBoundError(State, String, BooleanExpression, ValidityResult.ResultType, SymbolicExpression, NumericExpression, NumericExpression, CIVLSource) | | 0% | | 0% | 3 | 3 | 10 | 10 | 1 | 1 |
| setDataFrom(State, int, String, Expression, SymbolicExpression, NumericExpression, SymbolicExpression, boolean, CIVLSource) | | 76% | | 67% | 6 | 10 | 9 | 51 | 0 | 1 |
| typingUp(SymbolicExpression, CIVLSource) | | 0% | | 0% | 6 | 6 | 14 | 14 | 1 | 1 |
| pointerTyping(State, int, SymbolicExpression, NumericExpression, CIVLSource) | | 68% | | 22% | 9 | 10 | 16 | 36 | 0 | 1 |
| typingDown(SymbolicExpression, CIVLType) | | 0% | | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| arrayFlatten(State, String, SymbolicExpression, CIVLSource) | | 68% | | 56% | 7 | 10 | 8 | 25 | 0 | 1 |
| reportUndefinedValueError(State, int, boolean, Expression) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| arrayCasting(State, String, SymbolicExpression, SymbolicCompleteArrayType, CIVLSource) | | 88% | | 65% | 9 | 14 | 4 | 48 | 0 | 1 |
| getDataFrom(State, int, String, Expression, SymbolicExpression, NumericExpression, boolean, boolean, CIVLSource) | | 89% | | 83% | 2 | 7 | 4 | 33 | 0 | 1 |
| applyMaxLocOperation(NumericExpression[], NumericExpression[]) | | 81% | | 25% | 2 | 3 | 2 | 13 | 0 | 1 |
| arrayFlattenWorker(State, SymbolicExpression, CIVLSource) | | 91% | | 75% | 3 | 7 | 2 | 27 | 0 | 1 |
| applyMINOrMAXLOC(State, String, SymbolicExpression[], SymbolicExpression[], boolean, CIVLSource) | | 85% | | 50% | 4 | 5 | 0 | 6 | 0 | 1 |
| denseRead(State, int, SymbolicExpression, NumericExpression[], NumericExpression, CIVLSource) | | 92% | | 57% | 6 | 8 | 0 | 17 | 0 | 1 |
| arrayLambdaFlatten(State, SymbolicExpression, NumericExpression[], CIVLSource) | | 96% | | 67% | 2 | 4 | 0 | 25 | 0 | 1 |
| name() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| setDataBetween(State, String, SymbolicExpression, NumericExpression[], NumericExpression, NumericExpression, SymbolicExpression, SymbolicExpression, CIVLSource) | | 100% | | 100% | 0 | 6 | 0 | 36 | 0 | 1 |
| LibraryComponent(String, SymbolicUniverse, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryEvaluatorLoader, ModelFactory, CIVLErrorLogger, Evaluator) | | 100% | | n/a | 0 | 1 | 0 | 23 | 0 | 1 |
| evaluateArguments(State, int, Expression[]) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| hasNonConcreteExtent(Reasoner, SymbolicExpression) | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| translateOperator(int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |