| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 120 of 2,016 | 94% | 64 of 312 | 79% | 64 | 220 | 0 | 416 | 0 | 64 | 0 | 9 |
| AbstractTypes.ToStringVisitor | | 86% | | 63% | 19 | 37 | 0 | 58 | 0 | 11 | 0 | 1 |
| AbstractTypes.SubstitutionVisitor | | 87% | | 64% | 13 | 27 | 0 | 38 | 0 | 9 | 0 | 1 |
| AbstractTypes.SubtypeVisitor | | 87% | | 68% | 12 | 26 | 0 | 21 | 0 | 7 | 0 | 1 |
| AbstractTypes.DeclaredTypeSubtypeVisitor | | 90% | | 79% | 9 | 27 | 0 | 38 | 0 | 6 | 0 | 1 |
| AbstractTypes | | 99% | | 92% | 11 | 85 | 0 | 224 | 0 | 17 | 0 | 1 |
| AbstractTypes.ErasureVisitor | | 100% | | 100% | 0 | 7 | 0 | 9 | 0 | 6 | 0 | 1 |
| AbstractTypes.TypeDeclarationVertexState | | 100% | | 100% | 0 | 3 | 0 | 15 | 0 | 2 | 0 | 1 |
| ExtendedTypeKindVisitor7 | | 100% | | 100% | 0 | 7 | 0 | 10 | 0 | 5 | 0 | 1 |
| AbstractTypes.Substitutions | | 100% | n/a | 0 | 1 | 0 | 4 | 0 | 1 | 0 | 1 |