mi.subfactorial raises ZeroDivisionError for all inputs
mi.subfactorial raises ZeroDivisionError for all inputs: a task in repo2rlenv-swe-smith (Harbor dataset). more itertools.subfactorial(n) raises ZeroDivisionError for every non-negative integer n . The error originates in the iterative loop inside subfactorial at more itertools/more.py:5585 :
Part of FineEnvs/repo2rlenv-swe-smith.