Use SuppressibleTreePathScanner
instead of rolling our own.
#5782
Job | Run time |
---|---|
4m 0s | |
6m 51s | |
3m 37s | |
9m 9s | |
6m 57s | |
5m 15s | |
0s | |
0s | |
35m 49s |
SuppressibleTreePathScanner
instead of rolling our own.
#5782
Job | Run time |
---|---|
4m 0s | |
6m 51s | |
3m 37s | |
9m 9s | |
6m 57s | |
5m 15s | |
0s | |
0s | |
35m 49s |