Paxos

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total1,089 of 1,1414%124 of 1272%93982242402025
begin(long, SinglePartitionReadCommand, ConsistencyLevel, boolean, Ballot, int)2920%360%2323535311
cas(DecoratedKey, CASRequest, ConsistencyLevel, ConsistencyLevel, ClientState, long, long, long)2790%330%1919656511
read(SinglePartitionReadCommand.Group, ConsistencyLevel, long, long)2030%220%1414373711
verifyElectorate(Paxos.Electorate, Paxos.Electorate)870%100%66181811
staleBallotNewerThan(Ballot, ConsistencyLevel)340%20%226611
mark(boolean, Function, ConsistencyLevel)300%20%226611
cas(DecoratedKey, CASRequest, ConsistencyLevel, ConsistencyLevel, ClientState)240%n/a114411
isOldParticipant(Replica)240%40%336611
newBallot(Ballot, ConsistencyLevel)140%20%222211
read(SinglePartitionReadCommand.Group, ConsistencyLevel)130%n/a113311
nonSerial(ConsistencyLevel)130%30%334411
consistency(Ballot)120%30%334411
cas(DecoratedKey, CASRequest, ConsistencyLevel, ConsistencyLevel, ClientState, long, long)100%n/a111111
conditionNotMet(FilteredPartition)90%n/a113311
ballotForConsistency(long, ConsistencyLevel)80%n/a112211
flag(ConsistencyLevel)70%20%221111
useV2()6753%2133%232401
isLinearizable()6753%2133%232401
read(SinglePartitionReadCommand.Group, ConsistencyLevel, long)60%n/a111111
isInRangeAndShouldProcess(InetAddressAndPort, DecoratedKey, TableMetadata, boolean)51575%1150%120401
Paxos()30%n/a111111
getPaxosVariant()0%n/a111111
evictHungRepairs()0%n/a112211
static {...}15100%n/a010401
setPaxosVariant(Config.PaxosVariant)8100%n/a010401