| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 57 of 386 | 85% | 37 of 96 | 61% | 34 | 56 | 15 | 75 | 1 | 8 |
| isAnnotation(Annotation, String, String) | | 32% | | 12% | 4 | 5 | 3 | 6 | 0 | 1 |
| canMigrate(TypeDeclaration, String) | | 90% | | 70% | 10 | 18 | 4 | 27 | 0 | 1 |
| hasTestMethod(TypeDeclaration) | | 83% | | 40% | 5 | 6 | 2 | 7 | 0 | 1 |
| RunWithMigrationEligibility() | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| hasClosedTheoriesShape(TypeDeclaration) | | 96% | | 73% | 7 | 14 | 1 | 19 | 0 | 1 |
| hasMigratableNestedType(TypeDeclaration) | | 89% | | 50% | 3 | 4 | 1 | 4 | 0 | 1 |
| runWithAnnotation(TypeDeclaration) | | 92% | | 66% | 2 | 4 | 1 | 5 | 0 | 1 |
| hasSuiteClasses(TypeDeclaration) | | 92% | | 66% | 2 | 4 | 1 | 5 | 0 | 1 |