Paxos

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total643 of 1,14143%92 of 12727%7598123240725
begin(long, SinglePartitionReadCommand, ConsistencyLevel, boolean, Ballot, int)1939933%28822%2023365301
read(SinglePartitionReadCommand.Group, ConsistencyLevel, long, long)1198441%17522%1314193701
cas(DecoratedKey, CASRequest, ConsistencyLevel, ConsistencyLevel, ClientState, long, long, long)11616358%211236%1719226501
verifyElectorate(Paxos.Electorate, Paxos.Electorate)8166%9110%56161801
staleBallotNewerThan(Ballot, ConsistencyLevel)340%20%226611
mark(boolean, Function, ConsistencyLevel)300%20%226611
isOldParticipant(Replica)240%40%336611
cas(DecoratedKey, CASRequest, ConsistencyLevel, ConsistencyLevel, ClientState, long, long)100%n/a111111
nonSerial(ConsistencyLevel)6753%2133%232401
isLinearizable()6753%2133%232401
read(SinglePartitionReadCommand.Group, ConsistencyLevel, long)60%n/a111111
newBallot(Ballot, ConsistencyLevel)41071%1150%120201
useV2()4969%1266%131401
consistency(Ballot)4866%2133%232401
Paxos()30%n/a111111
evictHungRepairs()0%n/a112211
flag(ConsistencyLevel)685%1150%120101
cas(DecoratedKey, CASRequest, ConsistencyLevel, ConsistencyLevel, ClientState)24100%n/a010401
isInRangeAndShouldProcess(InetAddressAndPort, DecoratedKey, TableMetadata, boolean)20100%2100%020401
static {...}15100%n/a010401
read(SinglePartitionReadCommand.Group, ConsistencyLevel)13100%n/a010301
conditionNotMet(FilteredPartition)9100%n/a010301
ballotForConsistency(long, ConsistencyLevel)8100%n/a010201
setPaxosVariant(Config.PaxosVariant)8100%n/a010401
getPaxosVariant()100%n/a010101