| print(PrintWriter, String) |  | 0% | | 0% | 3 | 3 | 14 | 14 | 1 | 1 |
| canonicalizeChildren(CollectiveRecordFactory) | | 0% | | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
| computeEquals(Morphic) |  | 76% | | 58% | 8 | 13 | 7 | 21 | 0 | 1 |
| isInitial() | | 0% | | 0% | 5 | 5 | 1 | 1 | 1 | 1 |
| setRelationalPredicate(ValueIF) | | 0% | | 0% | 3 | 3 | 3 | 3 | 1 | 1 |
| setTrueBranch(boolean) | | 0% | | 0% | 3 | 3 | 3 | 3 | 1 | 1 |
| CollectiveLoopRecord(CollectiveAssertionIF, MorphicArray, ValueIF, ValueIF, MorphicArray, boolean) | | 76% | | 50% | 4 | 5 | 0 | 8 | 0 | 1 |
| setWritevarSet(ProcessIF, MorphicSet) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getWritevarSet(ProcessIF) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setWritevarSet(int, MorphicSet) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getWritevarSet(int) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setPartialPathCondition(ValueIF) | | 69% | | 50% | 2 | 3 | 0 | 3 | 0 | 1 |
| setWritevarSets(MorphicArray) | | 69% | | 50% | 2 | 3 | 0 | 3 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| computeHashCode() | | 100% | | 75% | 2 | 5 | 0 | 10 | 0 | 1 |
| commitChildren() | | 100% | | 67% | 2 | 4 | 0 | 7 | 0 | 1 |
| partialPathCondition() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| relationalPredicate() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| trueBranch() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| writevarSets() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |