interp: Rename has_user_mcode() to is_any_m_code_remapped() #370
| Job | Run time |
|---|---|
| 24m 18s | |
| 40m 13s | |
| 26m 40s | |
| 37m 24s | |
| 21m 31s | |
| 27m 36s | |
| 24m 30s | |
| 28m 44s | |
| 28m 41s | |
| 30m 13s | |
| 29m 31s | |
| 5h 19m 21s |
| Job | Run time |
|---|---|
| 24m 18s | |
| 40m 13s | |
| 26m 40s | |
| 37m 24s | |
| 21m 31s | |
| 27m 36s | |
| 24m 30s | |
| 28m 44s | |
| 28m 41s | |
| 30m 13s | |
| 29m 31s | |
| 5h 19m 21s |