HypergeometricEqualityLemma.new R1ToR1() {...}

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total32 of 320%0 of 0n/a223322
evaluate(double)220%n/a112211
{...}100%n/a111111