| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 2 of 60 | 96% | 1 of 2 | 50% | 1 | 13 | 0 | 15 | 0 | 12 |
| containsSubobject(SymbolicObject) | 71% | 50% | 1 | 2 | 0 | 1 | 0 | 1 | ||
| computeHashCode() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| toStringBuffer(boolean) | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 | ||
| intrinsicEquals(SymbolicObject) | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| CommonStringObject(String) | 100% | n/a | 0 | 1 | 0 | 3 | 0 | 1 | ||
| compareTo(StringObject) | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| toStringBufferLong() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| toString() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| getString() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| symbolicObjectKind() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| containsQuantifier() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| canonizeChildren(ObjectFactory) | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |