Some tweaks to @Initializer annotations in wala.util (#1474)
#2203
| Job | Run time |
|---|---|
| 8s | |
| 12m 15s | |
| 16m 2s | |
| 17m 42s | |
| 19m 17s | |
| 20m 33s | |
| 17m 34s | |
| 17m 54s | |
| 2m 17s | |
| 2h 3m 42s |
@Initializer annotations in wala.util (#1474)
#2203
| Job | Run time |
|---|---|
| 8s | |
| 12m 15s | |
| 16m 2s | |
| 17m 42s | |
| 19m 17s | |
| 20m 33s | |
| 17m 34s | |
| 17m 54s | |
| 2m 17s | |
| 2h 3m 42s |