BetaEqualityLemma.new R2ToR1() {...}

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total41 of 410%8 of 80%666622
evaluate(double, double)350%80%555511
{...}60%n/a111111