Add the modifies_memory macro #3091
Job | Run time |
---|---|
19s | |
19s | |
25s | |
1m 23s | |
1m 8s | |
5s | |
1m 8s | |
20s | |
51s | |
1m 16s | |
54s | |
54s | |
1m 24s | |
53s | |
57s | |
1m 29s | |
13m 45s |
Job | Run time |
---|---|
19s | |
19s | |
25s | |
1m 23s | |
1m 8s | |
5s | |
1m 8s | |
20s | |
51s | |
1m 16s | |
54s | |
54s | |
1m 24s | |
53s | |
57s | |
1m 29s | |
13m 45s |