| setAssumption(ValueIF) |   | 49% | | 58% | 3 | 7 | 7 | 18 | 0 | 1 |
| canonicalizeHeap(ProcessIF, Sourceable) | | 64% | | 67% | 3 | 7 | 6 | 22 | 0 | 1 |
| setSnapshot(int, int, ProcessStateIF) | | 70% | | 70% | 3 | 6 | 5 | 23 | 0 | 1 |
| removeCollectiveRecord(int) | | 36% | | 25% | 2 | 3 | 5 | 9 | 0 | 1 |
| printStateLong(PrintWriter, String) | | 89% | | 67% | 2 | 4 | 1 | 14 | 0 | 1 |
| probe(ProcessIF, ProcessIF, ValueIF) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| numMessages(ProcessIF, ProcessIF) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setValue(ModelCellIF, ValueIF) | | 92% | | 78% | 7 | 17 | 1 | 32 | 0 | 1 |
| terminated(ProcessIF) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| dequeue(ProcessIF, ProcessIF, ValueIF) | | 75% | | 50% | 1 | 2 | 1 | 7 | 0 | 1 |
| setLocation(ProcessIF, LocationIF) | | 74% | | 50% | 1 | 2 | 1 | 7 | 0 | 1 |
| push(ProcessIF, LocationIF) | | 73% | | 50% | 1 | 2 | 1 | 7 | 0 | 1 |
| pop(ProcessIF) | | 72% | | 50% | 1 | 2 | 1 | 7 | 0 | 1 |
| collectiveEnqueue(CollectiveRecordIF) | | 78% | | 75% | 1 | 3 | 1 | 9 | 0 | 1 |
| setCollectiveQueue(MorphicVector) | | 56% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| loopIndexStack(ProcessIF) | | 94% | | 78% | 4 | 10 | 1 | 22 | 0 | 1 |
| permanentPathCondition() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| currentProcess() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| addAssumption(ValueIF) | | 98% | | 86% | 2 | 8 | 0 | 20 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| Environment(ModelSequence, StateFactoryIF, LogIF) | | 100% | | 100% | 0 | 2 | 0 | 15 | 0 | 1 |
| enqueue(MessageIF) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| setCurrentProcess(ProcessIF) | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| setState(StateIF) | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| getModelStates() | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| hasMessage(ProcessIF, ProcessIF, ValueIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| processState(ProcessIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| emptyStack(ProcessIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| location(ProcessIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| stackSize(ProcessIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| valueOf(ModelCellIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| heapSize(ProcessIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| numMessages(ModelIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| terminated(ModelIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newState(ValueIF, MorphicVector) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getCollectiveRecord(int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| modelState(int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| collectiveQueueSize() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getAssumption() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| locations() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| collectiveQueue() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setLoopQueueIndex(int) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| state() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| loopQueueIndex() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |