Paxos

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total291 of 1,14174%47 of 12762%459856240525
begin(long, SinglePartitionReadCommand, ConsistencyLevel, boolean, Ballot, int)8221071%132363%1123155301
read(SinglePartitionReadCommand.Group, ConsistencyLevel, long, long)6513867%121045%1014123701
cas(DecoratedKey, CASRequest, ConsistencyLevel, ConsistencyLevel, ClientState, long, long, long)4623383%112266%101996501
verifyElectorate(Paxos.Electorate, Paxos.Electorate)285967%2880%2641801
isOldParticipant(Replica)240%40%336611
cas(DecoratedKey, CASRequest, ConsistencyLevel, ConsistencyLevel, ClientState, long, long)100%n/a111111
ballotForConsistency(long, ConsistencyLevel)80%n/a112211
read(SinglePartitionReadCommand.Group, ConsistencyLevel, long)60%n/a111111
staleBallotNewerThan(Ballot, ConsistencyLevel)52985%1150%121601
nonSerial(ConsistencyLevel)4969%1266%131401
useV2()4969%1266%131401
isLinearizable()4969%1266%131401
Paxos()30%n/a111111
consistency(Ballot)1083%1266%131401
mark(boolean, Function, ConsistencyLevel)30100%2100%020601
cas(DecoratedKey, CASRequest, ConsistencyLevel, ConsistencyLevel, ClientState)24100%n/a010401
isInRangeAndShouldProcess(InetAddressAndPort, DecoratedKey, TableMetadata, boolean)20100%2100%020401
static {...}15100%n/a010401
newBallot(Ballot, ConsistencyLevel)14100%2100%020201
read(SinglePartitionReadCommand.Group, ConsistencyLevel)13100%n/a010301
conditionNotMet(FilteredPartition)9100%n/a010301
setPaxosVariant(Config.PaxosVariant)8100%n/a010401
flag(ConsistencyLevel)7100%2100%020101
getPaxosVariant()100%n/a010101
evictHungRepairs()100%n/a010201