Convert TraverseState::new_goals
and TraverseState::removed_goals
into std::vector
and push/pop instead of insert/erase.
#2830
Job | Run time |
---|---|
1m 47s | |
1m 27s | |
2m 24s | |
1m 25s | |
1m 55s | |
1m 28s | |
5m 53s | |
5m 48s | |
6m 4s | |
9s | |
28m 20s |