HypergeometricEqualityLemma.new R3ToR1() {...}

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total15 of 150%0 of 0n/a223322
evaluate(double, double, double)120%n/a112211
{...}30%n/a111111