BetaEqualityLemma.new R1ToR1() {...}

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total27 of 270%4 of 40%444422
evaluate(double)200%40%333311
{...}70%n/a111111