BetaEqualityLemma.new R2ToR1() {...}

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