| TaylorSubstituter.java |  | 0% | | 0% | 83 | 83 | 216 | 216 | 18 | 18 | 3 | 3 |
| CommonReasoner.java | | 0% | | 0% | 43 | 43 | 117 | 117 | 17 | 17 | 1 | 1 |
| StatefulArrayLambdaAdaptor.java |  | 28% | | 21% | 26 | 34 | 74 | 108 | 6 | 11 | 1 | 2 |
| ContextMinimizingReasoner.java | | 61% | | 62% | 28 | 68 | 72 | 192 | 6 | 26 | 0 | 1 |
| SimpleReasoner.java | | 0% | | 0% | 23 | 23 | 45 | 45 | 16 | 16 | 1 | 1 |
| ArrayLambdaCanonicalization.java | | 25% | | 25% | 2 | 5 | 21 | 29 | 0 | 3 | 0 | 1 |
| Why3ReasonerFactory.java | | 0% | | 0% | 7 | 7 | 16 | 16 | 4 | 4 | 1 | 1 |
| CommonReasonerFactory.java | | 0% | | 0% | 5 | 5 | 13 | 13 | 3 | 3 | 1 | 1 |
| StatefulSigmaAdaptor.java | | 97% | | 80% | 5 | 23 | 3 | 119 | 0 | 10 | 0 | 2 |
| ContextMinimizingReasonerFactory.java | | 93% | | 66% | 2 | 9 | 0 | 19 | 0 | 6 | 0 | 1 |
| ReasonerCacheKey.java | | 94% | | 50% | 2 | 5 | 1 | 10 | 0 | 3 | 0 | 1 |
| ExpressionVisitor.java | | 100% | | 100% | 0 | 6 | 0 | 16 | 0 | 2 | 0 | 1 |
| SARLProverAdaptor.java | | 100% | | n/a | 0 | 3 | 0 | 9 | 0 | 3 | 0 | 1 |