| simplify() |  | 0% | | 0% | 6 | 6 | 25 | 25 | 1 | 1 |
| makeCanonic(int, Map, Map) | | 0% | | 0% | 5 | 5 | 7 | 7 | 1 | 1 |
| toString() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setKind(ContractClauseExpression.ContractKind) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| insertMonoState(int, ImmutableMonoState, Expression) |  | 93% | | 75% | 2 | 5 | 0 | 13 | 0 | 1 |
| identifier() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| numInvolvedProcesses() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| contractKind() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} | | 80% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| ImmutableCollectiveSnapshotsEntry(int, SymbolicUniverse) | | 100% | | 100% | 0 | 2 | 0 | 16 | 0 | 1 |
| ImmutableCollectiveSnapshotsEntry(int, SymbolicUniverse, ContractClauseExpression.ContractKind) | | 100% | | 100% | 0 | 2 | 0 | 16 | 0 | 1 |
| copy() | | 100% | | n/a | 0 | 1 | 0 | 11 | 0 | 1 |
| setMsgBuffers(SymbolicExpression) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| isRecorded(int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isComplete() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| numMonoStates() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getAllAssertions() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getMsgBuffers() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getMaxPid() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getMonoStates() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |