Check with is_in_mmtk_spaces instead of is_mapped_address (backport #123) #324
| Job | Run time |
|---|---|
| 1h 41m 3s | |
| 1h 40m 59s | |
| 48m 35s | |
| 18m 46s | |
| 20m 18s | |
| 1h 34m 36s | |
| 1h 41m 2s | |
| 49m 57s | |
| 8h 55m 16s |
| Job | Run time |
|---|---|
| 1h 41m 3s | |
| 1h 40m 59s | |
| 48m 35s | |
| 18m 46s | |
| 20m 18s | |
| 1h 34m 36s | |
| 1h 41m 2s | |
| 49m 57s | |
| 8h 55m 16s |