BetaEqualityLemma.new R2ToR1() {...}

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total31 of 310%8 of 80%665522
evaluate(double, double)250%80%554411
{...}60%n/a111111