Generalize highlighted_roots to prune_upto for more aggressive pr…
#117
| Job | Run time |
|---|---|
| 10s | |
| 10s |
highlighted_roots to prune_upto for more aggressive pr…
#117
| Job | Run time |
|---|---|
| 10s | |
| 10s |