| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,819 of 1,819 | 0% | 166 of 166 | 0% | 167 | 167 | 452 | 452 | 84 | 84 | 8 | 8 |
| Console.java | | 0% | | 0% | 43 | 43 | 155 | 155 | 20 | 20 | 2 | 2 |
| ConsoleIO.java | | 0% | | 0% | 49 | 49 | 103 | 103 | 23 | 23 | 1 | 1 |
| CmdLineParser.java | | 0% | | 0% | 19 | 19 | 78 | 78 | 11 | 11 | 1 | 1 |
| Util.java | | 0% | | 0% | 28 | 28 | 65 | 65 | 8 | 8 | 1 | 1 |
| VerificationListener.java | | 0% | n/a | 8 | 8 | 17 | 17 | 8 | 8 | 1 | 1 | |
| LockRemover.java | | 0% | | 0% | 9 | 9 | 17 | 17 | 3 | 3 | 1 | 1 |
| DefaultConsoleState.java | | 0% | n/a | 11 | 11 | 17 | 17 | 11 | 11 | 1 | 1 |