BetaEqualityLemma.new R2ToR1() {...}

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