| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 8 of 103 | 92% | 4 of 24 | 83% | 4 | 25 | 0 | 23 | 0 | 13 |
| CommonSymbolicType(SymbolicType.SymbolicTypeKind) | 71% | 50% | 2 | 3 | 0 | 4 | 0 | 1 | ||
| isChar() | 75% | 50% | 1 | 2 | 0 | 1 | 0 | 1 | ||
| static {...} | 75% | 50% | 1 | 2 | 0 | 1 | 0 | 1 | ||
| intrinsicEquals(SymbolicObject) | 100% | 100% | 0 | 4 | 0 | 8 | 0 | 1 | ||
| isNumeric() | 100% | 100% | 0 | 3 | 0 | 1 | 0 | 1 | ||
| isInteger() | 100% | 100% | 0 | 2 | 0 | 1 | 0 | 1 | ||
| isBoolean() | 100% | 100% | 0 | 2 | 0 | 1 | 0 | 1 | ||
| isReal() | 100% | 100% | 0 | 2 | 0 | 1 | 0 | 1 | ||
| toStringBufferLong() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| typeKind() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| symbolicObjectKind() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| isHerbrand() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| isIdeal() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |