| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,482 of 4,809 | 69% | 162 of 339 | 52% | 153 | 257 | 323 | 843 | 21 | 77 | 1 | 11 |
| UserInterface | | 75% | | 45% | 56 | 79 | 143 | 321 | 8 | 23 | 0 | 1 |
| ModelTranslator | | 62% | | 53% | 67 | 118 | 107 | 287 | 1 | 21 | 0 | 1 |
| Verifier.WebUpdater | | 0% | | 0% | 6 | 6 | 38 | 38 | 5 | 5 | 1 | 1 |
| TracePlayer | | 57% | | 50% | 12 | 17 | 24 | 56 | 5 | 9 | 0 | 1 |
| Verifier | | 79% | | 71% | 10 | 21 | 12 | 77 | 0 | 4 | 0 | 1 |
| UserInterface.new Object() {...} | | 88% | n/a | 0 | 1 | 0 | 3 | 0 | 1 | 0 | 1 | |
| CommandLine.CommandKind | | 94% | n/a | 1 | 4 | 0 | 8 | 1 | 4 | 0 | 1 | |
| CommandLine.CommandLineKind | | 87% | n/a | 1 | 4 | 0 | 3 | 1 | 4 | 0 | 1 | |
| Player | | 100% | n/a | 0 | 2 | 0 | 32 | 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 |