AbstractCoordinatorTestCase.new LinearizabilityChecker.KeyedSpec() {...}

Source file "org/elasticsearch/cluster/coordination/AbstractCoordinatorTestCase.java" was not found during generation of report.

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total41 of 410%10 of 100%1010111155
nextState(Object, Object, Object)240%100%667711
{...}60%n/a111111
getKey(Object)40%n/a111111
getValue(Object)40%n/a111111
initialState()30%n/a111111