diff options
Diffstat (limited to 'common/router2.cc')
| -rw-r--r-- | common/router2.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/common/router2.cc b/common/router2.cc index 878b615e..cb8e875f 100644 --- a/common/router2.cc +++ b/common/router2.cc @@ -687,6 +687,7 @@ struct Router2 // Explore forwards auto curr = t.fwd_queue.top(); t.fwd_queue.pop(); + ++explored; if (was_visited_bwd(curr.wire)) { // Meet in the middle; done midpoint_wire = curr.wire; @@ -729,6 +730,7 @@ struct Router2 // Explore backwards auto curr = t.bwd_queue.top(); t.bwd_queue.pop(); + ++explored; if (was_visited_fwd(curr.wire)) { // Meet in the middle; done midpoint_wire = curr.wire; |