| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 3 of 45 | 93% | 0 of 0 | n/a | 1 | 6 | 1 | 11 | 1 | 6 |
| outcome() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| PaxosState.MaybePromise(PaxosState.Snapshot, PaxosState.Snapshot, Ballot, PaxosState.MaybePromise.Outcome) | | 100% | n/a | 0 | 1 | 0 | 6 | 0 | 1 | |
| promise(PaxosState.Snapshot, PaxosState.Snapshot) | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| permitRead(PaxosState.Snapshot, Ballot) | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| reject(PaxosState.Snapshot, Ballot) | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| supersededBy() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |