Paxos

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total269 of 1,14176%45 of 12764%449852240525
begin(long, SinglePartitionReadCommand, ConsistencyLevel, boolean, Ballot, int)8221071%132363%1123155301
cas(DecoratedKey, CASRequest, ConsistencyLevel, ConsistencyLevel, ClientState, long, long, long)4623383%112266%101996501
read(SinglePartitionReadCommand.Group, ConsistencyLevel, long, long)4316078%101254%91483701
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