HypergeometricEqualityLemma.new R1ToR1() {...}

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total23 of 230%0 of 0n/a223322
evaluate(double)130%n/a112211
{...}100%n/a111111