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