| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 44 of 102 | 57% | 2 of 4 | 50% | 13 | 16 | 12 | 27 | 12 | 14 |
| isComplete() | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| getIndexOf(SymbolicType) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| getElementType(int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| getDynamicType(SymbolicUniverse) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| getNumTypes() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| types() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| containsProcRefs() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| containsScopeRefs() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| containsPointerRefs() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| hasState() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isBundleType() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toString() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| complete(List, Collection, SymbolicUnionType) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| CommonBundleType() | | 100% | n/a | 0 | 1 | 0 | 7 | 0 | 1 |