checker: fix if cond using const with $d() def #9752
Job | Run time |
---|---|
8m 10s | |
23s | |
20m 41s | |
54s | |
9m 35s | |
37s | |
9m 17s | |
4m 58s | |
5m 40s | |
3m 22s | |
3m 17s | |
2m 22s | |
1h 9m 16s |
Job | Run time |
---|---|
8m 10s | |
23s | |
20m 41s | |
54s | |
9m 35s | |
37s | |
9m 17s | |
4m 58s | |
5m 40s | |
3m 22s | |
3m 17s | |
2m 22s | |
1h 9m 16s |