| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 197 of 275 | 28% | 27 of 34 | 20% | 23 | 31 | 42 | 60 | 8 | 12 | 1 | 2 |
| ProverFunctionInterpretation | | 0% | | 0% | 15 | 15 | 32 | 32 | 5 | 5 | 1 | 1 |
| Prove | | 65% | | 50% | 8 | 16 | 10 | 28 | 3 | 7 | 0 | 1 |