| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,480 of 5,058 | 71% | 149 of 356 | 58% | 148 | 268 | 311 | 876 | 18 | 77 | 1 | 11 |
| ModelTranslator | | 63% | | 61% | 65 | 124 | 104 | 313 | 1 | 21 | 0 | 1 |
| UserInterface | | 75% | | 46% | 58 | 83 | 143 | 333 | 7 | 23 | 0 | 1 |
| Verifier.WebUpdater | | 0% | | 0% | 6 | 6 | 39 | 39 | 5 | 5 | 1 | 1 |
| Verifier | | 79% | | 71% | 10 | 21 | 12 | 78 | 0 | 4 | 0 | 1 |
| TracePlayer | | 75% | | 78% | 7 | 18 | 14 | 57 | 3 | 9 | 0 | 1 |
| UserInterface.new Object() {...} | | 88% | n/a | 0 | 1 | 0 | 3 | 0 | 1 | 0 | 1 | |
| CommandLine.CommandKind | | 95% | n/a | 1 | 4 | 0 | 2 | 1 | 4 | 0 | 1 | |
| CommandLine.CommandLineKind | | 87% | n/a | 1 | 4 | 0 | 2 | 1 | 4 | 0 | 1 | |
| Player | | 100% | n/a | 0 | 2 | 0 | 31 | 0 | 2 | 0 | 1 | |
| Verifier.SearchUpdater | | 100% | n/a | 0 | 2 | 0 | 12 | 0 | 2 | 0 | 1 | |
| Verifier.UpdaterRunnable | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 2 | 0 | 1 |