| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 246 of 246 | 0% | 34 of 34 | 0% | 23 | 23 | 73 | 73 | 6 | 6 |
| readWhy3Output(BufferedReader, BufferedReader, int) | | 0% | | 0% | 16 | 16 | 38 | 38 | 1 | 1 |
| call() | | 0% | n/a | 1 | 1 | 14 | 14 | 1 | 1 | |
| Why3ConcurrentRunner(ProcessBuilder, ProverInfo, int, int, String) | | 0% | n/a | 1 | 1 | 8 | 8 | 1 | 1 | |
| printProverUnexpectedException(BufferedReader, PrintStream) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| static {...} | | 0% | n/a | 1 | 1 | 5 | 5 | 1 | 1 | |
| process() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |