Make contract of free (for C) conditional on ptr being non-null #2725
Job | Run time |
---|---|
12m 23s | |
12m 23s | |
7m 15s | |
7m 15s | |
9m 59s | |
9m 59s | |
6m 0s | |
6m 0s | |
8m 42s | |
8m 42s | |
5m 37s | |
5m 37s | |
8m 25s | |
8m 25s | |
4m 32s | |
4m 32s | |
11m 51s | |
11m 51s | |
6m 33s | |
6m 33s | |
5m 51s | |
5m 51s | |
56s | |
56s | |
55s | |
21s | |
2h 57m 24s |