fix bug in rename: rename also in global
and nonlocal
decls
#85
Job | Run time |
---|---|
10s | |
14s | |
9s | |
16s | |
10s | |
26s | |
30s | |
29s | |
2m 24s |
global
and nonlocal
decls
#85
Job | Run time |
---|---|
10s | |
14s | |
9s | |
16s | |
10s | |
26s | |
30s | |
29s | |
2m 24s |