cachetools.cached with lock and info=True acquires lock too many times on cache miss
cachetools.cached with lock and info=True acquires lock too many times on cache miss: a task in Repo2RLEnv R2E-Gym / SWEGEN (Harbor dataset). When using cachetools.cached with both a lock and info=True , a cache miss causes the lock to be acquired 3 times instead of the expected 2 times . This is…
Part of FineEnvs/repo2rlenv-r2e-gym.